path: root/Test/og/one.bpl

var x:int;

procedure A()
{
  x := x;
}

procedure B()
{
  x := 5;
  assert{:yield} x == 5;
}