extend dependencies of AbsolutifyLoops
clarify dependencies
make JIT Trace refactoring-safe