compute liveness for reg-alloc; add (function ::fn) for functions
update spec: add `(function ::fn)` value