Add Mini-Java example. Fixing bugs for left-factoring.
Fixes for some left factoring bugs.