The syntactic analyser can now recognize terminal nodes (but
not branch nodes);