AST generation: use consistent set of pending constraints