change is_reduced functions to avoid re-transversal