Adapts the LTS generated by ProB so that is can be used with JTorX.