added tests for FIRST, FOLLOW for the same example from Appel (3.12)