I agree, treason is more expansive than just High Treason, and is not limited to one nationality.  Perhaps some redundancy could be eliminated by linking between articles, but I think both articles should be included.