test for move instr
adding liveness.sml
implementing liveness algorithm