def METHOD_NAME():
    program = """
        def foo(x):
            return x.name + 2
        def bar(y):
            z = foo(y)
        """
    module, ti = cs._parse_text(program, reset=True)
    for binop_node in module.nodes_of_class(nodes.BinOp):
        assert binop_node.inf_type.getValue() == int
    for assgn_node in module.nodes_of_class(nodes.AssignName):
        if assgn_node.name == "z":
            z = ti.lookup_typevar(assgn_node, assgn_node.name)
            assert ti.type_constraints.resolve(z).getValue() == int