(inlining a function will copy ssa vars from the function, and they may
already have a use count)

allowing list operands of instructions. Defuse doesnt work. P<T>.clone() is creating new copies of old objects, thus updating cloned objs wont affect the original ones.