data flow analysis generalization 2816258