Fixed bug, find orbit for uncovered intervals
Docstrings: psi_n_in_bccz_counterexample_construction() is a special case of n_step_mir()