aco: set exec_potentially_empty after continues/breaks in nested IFs