def METHOD_NAME():
    program = """
       def foo(x, y, z):
           return x + 5
       foo(5, 6)
       """
    ast_mod, ti = cs._parse_text(program)
    for call_node in ast_mod.nodes_of_class(nodes.Call):
        assert isinstance(call_node.inf_type, TypeFailFunction)