Liveliness determined

Determined liveliness for variables in each block