This AttributeVisitor analyzes the liveness of the variables in the code attributes that it visits, based on partial evaluation.

This AttributeVisitor optimizes variable allocation based on their the liveness, in the code attributes that it visits.