Improved check_method_calls by improving my type inference of SymbolNodes