clean-up and better var names
* reversing backward links should be a local inferences
* other tweaks to bring back the tracing continuity tests