Rework LazynessAnalysis

* This analysis was hard to understand
* It was not correct on many point (function arguments for example
  and use to many uncorrect aliasing)