def has_cut(self): for head, body in self.rules: if has_cut(body): return True return False
def has_cut(self): return has_cut(self.body)