For testing: you can now access the translator via the static
method TLA2B.translate