Completed all ASTs before BadExpr