renameing minimal flow-sensitivity
fix worklist algorithm / handle exception in is_rec
resolve conflicts in sparseAnalysis.ml