speedup dataflow analysis: first look for potential errors then make the
analysis inprecise; last check condition of analysis results with
satsolver.
fix testcase: we do not track pointers anymore
remove invalid comments after previous refactorings
remove output of currently processed function in dataflow analysis