This code adapts the LTS generated by ProB so is that it can be used by JTorX.