Fix AbstractTranslator.visit SWRLBuiltInAtom