compiler-the-translators/tests/sprint4/test/sp4_cg_not.alpha

type main: integer -> integer
function test: main

test (a) := {
        [Boolean: c; Boolean: d]
        c := true;
        d := !c;
        return 1;
}