PROBCORE-404 Replaced old visitors with new TranslationVisitor. Theories can now be completely parsed.