miplemented reduced CFG for liveness