module A {
  const i: int := 56_78
}

method m(b: bool, s: string) {
  var x: string;
  var i: int;
  if b then i := 1; else i := 2;
  i := if b 1 else 2;
  assert b;
  assume b;
  print s;
  expect b;
}

function f(i: int): int { i + 1 }