data flow analysis generalization 3067963