smurf: Prevent bad pointing info causing AST errors