isl_basic_set_substitute: check that input affine expression is integral