============ after processor `borrow_analysis` ================

[variant baseline]
pub fun Trafo::div($t0|x: u64, $t1|y: u64): u64 {
     var $t2: u64
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  0: trace_local[x]($t0)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  1: trace_local[y]($t1)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  2: $t2 := /($t0, $t1)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  3: trace_return[0]($t2)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  4: return $t2
}