The final version

PrettyPrint, DeadBlockRemoval, LiveVariableAnalysis