Now using the TranslationVisitor, comparing with old version
prototype code to find Theory -> ProB Mapping