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

[variant baseline]
pub fun Signer::address_of($t0|s: signer): address {
     var $t1: address
     # live_nodes: LocalRoot($t0)
  0: trace_local[s]($t0)
     # live_nodes: LocalRoot($t0)
  1: $t1 := Signer::borrow_address($t0)
     # live_nodes: LocalRoot($t0)
  2: trace_return[0]($t1)
     # live_nodes: LocalRoot($t0)
  3: return $t1
}


[variant baseline]
pub fun Trafo::dummy_need_signer_use_in_move($t0|account: signer): address {
     var $t1: address
     # live_nodes: LocalRoot($t0)
  0: trace_local[account]($t0)
     # live_nodes: LocalRoot($t0)
  1: $t1 := Signer::address_of($t0)
     # live_nodes: LocalRoot($t0)
  2: trace_return[0]($t1)
     # live_nodes: LocalRoot($t0)
  3: return $t1
}


[variant baseline]
pub fun Trafo::publish($t0|account: signer, $t1|x: u64) {
     var $t2: Trafo::R
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  0: trace_local[account]($t0)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  1: trace_local[x]($t1)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  2: $t2 := pack Trafo::R($t1)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  3: move_to<Trafo::R>($t2, $t0)
     # live_nodes: LocalRoot($t0), LocalRoot($t1)
  4: return ()
}