Changed logging of prolog terms to info level instead of trace
StateSpace can subscribe multiple formulas at once.
PROBCORE-404 v 1.1.2 Fixed bug so that Train can be animated (abstract variables are no longer added to the machine)