Fix code generation for PlusBlock
Remove unnecessary call to sync()
Non-greedy does not affect whether a decision is LL(1) or not
Improve condition testing in disjoint, and ensure EPSILON is properly considered
LL1PlusBlockSingleAlt ignores the LA call in the preamble, so remove it