def METHOD_NAME(iterable):
    """Test whether visitors properly set the type constraint of the a For node representing for/else statement
    iterating over a heterogeneous list.
    """
    assume(type(iterable[0]) != type(iterable[1]))
    val_types = [type(val) for val in iterable]
    if int in val_types:
        assume(bool not in val_types)
    if bool in val_types:
        assume(int not in val_types)
    program = f"for elt in {iterable}:\n" f"    x = elt\n"
    module, TypeInferrer = cs._parse_text(program)
    for_node = list(module.nodes_of_class(nodes.For))[0]
    local_type_var = module.type_environment.lookup_in_env("x")
    inferred_type = TypeInferrer.type_constraints.resolve(local_type_var).getValue()
    assert inferred_type == Any