Robustify isequiv_path_sigma_hprop