InvalidSyntaxTree occurs if an invalid syntax tree is provided to the type checker. It should never happen.