I'm sure there's plenty on Youtube of him denouncing it and doing lord know what else. It doesn't have to be a formal trial and process to lose it. If I move it North Korea tomorrow and denounce the US and take up arms against it then my citizenship is gone.
There most certainly is a paper trail if I do it, or if the government does it.