hm... well the cycle detection happens during execution