abc.ltl.visit.override (J-LO, the Java Logical Observer, version 0.9.0)