poly_int: vect_no_alias_p