type ref;

const b1:bool;
const b2:bool;
const b3:bool;

axiom (b1==true && b2==false && b3==true);

procedure  main ( ) 

{
var c: int;
assert (c==0);
}