path: root/check/type/bool/fail-and.p

program main ( input, output );
        var a: integer;
begin
	a := 1;
        (a = 1) and 1
end.