Update SemanticTranslator.hpp