checks and finalises generated AST
true if done without errors, false if there were errors
See Implementation
checks and finalises generated AST