amigo_inverse_reachability