============ after processor `reaching_def_analysis` ================

[variant baseline]
pub fun Trafo::opaque_caller($t0|addr: address) {
     var $t1: address
     var $t2: address
  0: trace_local[addr]($t0)
  1: $t1 := copy($t0)
  2: Trafo::opaque_decr($t0)
  3: $t2 := copy($t0)
  4: Trafo::opaque_decr($t0)
  5: return ()
}


[variant baseline]
pub fun Trafo::opaque_decr($t0|addr: address) {
     var $t1|r: &mut Trafo::R
     var $t2: address
     var $t3: &mut Trafo::R
     var $t4: &mut Trafo::R
     var $t5: u64
     var $t6: u64
     var $t7: u64
     var $t8: u64
     var $t9: &mut Trafo::R
     var $t10: &mut u64
  0: trace_local[addr]($t0)
  1: $t2 := copy($t0)
  2: $t3 := borrow_global<Trafo::R>($t0)
  3: $t1 := $t3
  4: trace_local[r]($t3)
  5: $t4 := copy($t3)
  6: $t5 := get_field<Trafo::R>.x($t3)
  7: $t6 := move($t5)
  8: $t7 := 1
  9: $t8 := -($t5, $t7)
 10: $t9 := move($t3)
 11: $t10 := borrow_field<Trafo::R>.x($t3)
 12: write_ref($t10, $t8)
 13: return ()
}