checking determinism