poly_int: vector_alignment_reachable_p