start removing visitor mechanism
another revision of the liveness analysis
do register in use analysis
do needsAssigning