smaller changes in the evaluation of data flow analysis results
fixed bugs related to unused variables