give instant syntax errors, for the sake of Proof General, by not
trying to pass over another statement