============ after processor `livevar_analysis` ================

[variant baseline]
pub fun Trafo::opaque_caller($t0|addr: address) {
     # live vars: addr
  0: trace_local[addr]($t0)
     # live vars: addr
  1: Trafo::opaque_decr($t0)
     # live vars: addr
  2: Trafo::opaque_decr($t0)
     # live vars:
  3: return ()
}


[variant baseline]
pub fun Trafo::opaque_decr($t0|addr: address) {
     var $t1|r: &mut Trafo::R
     var $t2: &mut Trafo::R
     var $t3: u64
     var $t4: u64
     var $t5: u64
     var $t6: &mut u64
     # live vars: addr
  0: trace_local[addr]($t0)
     # live vars: addr
  1: $t2 := borrow_global<Trafo::R>($t0)
     # live vars: $t2
  2: trace_local[r]($t2)
     # live vars: $t2
  3: $t3 := get_field<Trafo::R>.x($t2)
     # live vars: $t2, $t3
  4: $t4 := 1
     # live vars: $t2, $t3, $t4
  5: $t5 := -($t3, $t4)
     # live vars: $t2, $t5
  6: $t6 := borrow_field<Trafo::R>.x($t2)
     # live vars: $t5, $t6
  7: write_ref($t6, $t5)
     # live vars:
  8: return ()
}