(* TEST: [-asc -tc] *)
type rec: [character: x; integer: y]

type T2: rec -> integer

type main: string -> integer
function entry: main
function bar: T2

bar (r,s) := {
    return 0;
}

entry (arg) := {
 	[ Boolean: x ; Boolean: y; Boolean: z;Boolean: t]
        while ( ((x = y)) < ( z | t ) ) {
                while ( (x & y) = ( z < t ) ) {
                        y := y;
                }
                (*
                x := x;
                *)
                if ( (x = y) = ( z < t ) ) then {
                        x :=  1;
                } else {
                        x :=  1;
                }
        }
        return 0;
}