Implemented more __VERIFIER_nondet functions.