Added invariants for all parser classes.