path: root/compiler/tests/verifier/expr_notused.good

() f() {
    bool b1;
    bool b2;

    b1 or b2;
    b1 and b2;
}