isl_ast_build_expr.c: mod_constraint_is_simpler: extract out is_simpler