trying to ge trid of rtrancl
some promising lemmata that will help to get rid of rtrancl
refactored
reachable_eq_rtrancl_view2
...
works, works not
found the NOT
works ...