Title: Heuristic methods in the analysis of program statements