doc: document isl_constraint_is_equality