public static Collection<ParseTree> findAllTokenNodes(ParseTree t, int ttype) {return findAllNodes(t, ttype, true);}
public static ICollection<IParseTree> FindAllTokenNodes(IParseTree t, int ttype){return FindAllNodes(t, ttype, true);}