constant = islhelper.isl_val_to_int(constant)
coefficient = libisl.isl_constraint_get_coefficient_val(c,libisl.isl_dim_set, index)
coefficient = islhelper.isl_val_to_int(coefficient) #get coefficient
if coefficient != 0:
constant = islhelper.isl_val_to_int(constant)
coefficient = libisl.isl_constraint_get_coefficient_val(c,libisl.isl_dim_set, index)
coefficient = islhelper.isl_val_to_int(coefficient) #get coefficient
if coefficient != 0: