shortened elementary_loops check condition