Type error at line 21: Unknown identifier: nondet.
        if (nondet()) {
            ^
Type error at line 29: Unknown identifier: nondet.
        if (nondet()) {
            ^
Type error at line 52: Unknown identifier: nondet.
        if (nondet()) {
            ^
Parsing failed. 3 errors found.
