Fixed error with labeling and key lookup in var flow analysis.