Created by: dzhwinter

This pr implement the SSA-form variable liveness algorithm. Only for comparing result, please do not review.