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

[variant baseline]
pub fun Trafo::opaque_caller($t0|x: u64): u64 {
     var $t1: u64
     var $t2: u64
     # live vars: x
  0: trace_local[x]($t0)
     # live vars: x
  1: $t1 := Trafo::opaque_decr($t0)
     # live vars: $t1
  2: $t2 := Trafo::opaque_decr($t1)
     # live vars: $t2
  3: trace_return[0]($t2)
     # live vars: $t2
  4: return $t2
}


[variant baseline]
pub fun Trafo::opaque_decr($t0|x: u64): u64 {
     var $t1: u64
     var $t2: u64
     # live vars: x
  0: trace_local[x]($t0)
     # live vars: x
  1: $t1 := 1
     # live vars: x, $t1
  2: $t2 := -($t0, $t1)
     # live vars: $t2
  3: trace_return[0]($t2)
     # live vars: $t2
  4: return $t2
}