isl_coalesce.c: check_facets: mark tableau rational before subset tests