def METHOD_NAME(self, graph, expr_index, sdfg, permissive=False):
    if not super().METHOD_NAME(graph, expr_index, sdfg, permissive):
        return False
    guard = self.loop_guard
    begin = self.loop_begin
    # If loop cannot be detected, fail
    found = find_for_loop(sdfg, guard, begin)
    if found is None:
        return False
    return True