WYIL: another bug fix for LiveVariablesAnalysis which is related to #249
WYIL: bug fix for back propagation identified during investigation for #249