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

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


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


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