isl_pw_aff_is_equal: extract out either_involves_nan