get the reg liveness right in the putMVar# heap check