def make_distinct_vars(sorts, *asts): vars = [il.Variable('V' + str(i), sort) for i, sort in enumerate(sorts)] return lu.rename_variables_distinct_asts(vars, asts)
def make_distinct_vars(sorts,*asts): vars = [il.Variable('V'+str(i),sort) for i,sort in enumerate(sorts)] return lu.rename_variables_distinct_asts(vars,asts)