def METHOD_NAME(self, run):
    verifierDir = None
    regex = re.compile("verifier used in MetaVal is (.*)")
    for line in run.output[:20]:
        match = regex.search(line)
        if match is not None:
            verifierDir = match.group(1)
            break
    if (
        not verifierDir
        or verifierDir not in self.PATH_TO_TOOL_MAP
        or self.PATH_TO_TOOL_MAP[verifierDir] not in self.wrappedTools
    ):
        return "METAVAL ERROR"
    verifierName = self.PATH_TO_TOOL_MAP[verifierDir]
    tool = self.wrappedTools[verifierName]
    assert isinstance(
        tool, BaseTool2
    ), "we expect that all wrapped tools extend BaseTool2"
    return tool.METHOD_NAME(run)