Java implementation of a converter from an UML graph to logic formulae.