fun test(j: J) {
  j.getFoo() /*~> Unit */
  j.setFoo(x = 1)
  { // BLOCK
    val tmp_0: J = j
    val tmp_1: Int = tmp_0.getFoo()
    tmp_0.setFoo(x = tmp_1.inc())
    tmp_1
  } /*~> Unit */
  { // BLOCK
    val tmp_2: J = j
    tmp_2.setFoo(x = tmp_2.getFoo().plus(other = 1))
  }
}
