Removed VERIFIER_nondet_bool after all. It is causing compilation issues.