Added basic non-deterministic loops check