def METHOD_NAME(s):
    var_dict = s.get_var_dict()
    try:
        dt, idx = var_dict[name]
    except KeyError:
        return s
    value_aff = isl.Aff.zero_on_domain(s.space) + value
    from loopy.isl_helpers import iname_rel_aff
    name_equal_value_aff = iname_rel_aff(s.space, name, "==", value_aff)
    s = (s
            .add_constraint(
                isl.Constraint.equality_from_aff(name_equal_value_aff))
            .project_out(dt, idx, 1))
    return s