); constraint int_le_reif(0, end, BOOL____00000) :: defines_var(BOOL____00000); constraint int_le_reif(0, end, BOOL____00000) :: defines_var(BOOL____00000); constraint int_le_reif(0, end, BOOL____00000); constraint int_le_reif(start, 0, BOOL____00000); constraint int_le_reif(start, 0, BOOL____00000) :: defines_var(BOOL____00000); constraint int_le_reif(start, 0, BOOL____00000) :: defines_var(BOOL____00000); 