fix(Term): Make pretty printing avoid EXPTIME
fix(Reachability): Avoid construction of expensive logging output if unneeded