def METHOD_NAME(folder):
    """Find the name of the proof in the proof Makefile."""
    with open('{}/Makefile'.format(folder)) as makefile:
        for line in makefile:
            if line.strip().lower().startswith('entry'):
                return line[line.find('=')+1:].strip()
            if line.strip().lower().startswith('h_entry'):
                return line[line.find('=')+1:].strip()
    raise UserWarning("Can't find ENTRY in {}/Makefile".format(folder))