public override bool IsAlive(TargetAddress address)
{
if (info.Mode == VariableInfo.AddressMode.Dead)
return false;
return (address >= start_liveness) && (address <= end_liveness) &&
(address >= start_scope) && (address <= end_scope);
}