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

(* TEST: [-asc -tc -cg -ir] *)
type main: integer -> integer
function test: main

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