path: root/Test/z3api/boog3.bpl

type Wicket;

procedure Dummy();
implementation Dummy() {
  var x: Wicket;
  assert (x!=x);
}