(Xronos) Adding missing instructions to Liveness, now uses Liveness for
creating the blocks outputs, some bugs when inlining procedures.