Fix unconsumed delimiters and statementFirst predicate

After amending the grammar to remove a null ambiguity, I didn't
amend the `Stmt -> { Stmt } .` production. So, if statements were
not admissible within such blocks, so not admissible within `while`.