- Modified liveness analysis to account for hidden arguments