Reentry correct now -> pre-check for strong connectedness and removals seem to work

- phi_comp_bORf_unidir corrected
Reentry correct now -> pre-check for strong connectedness and removals seem to work"