PotentialIterator analyse completely rewritten :
* Relies on a new analyse that count how many time each argument of a function is used
* No special cases anymore for intrinsics
* Lot of test cases
* Improved docstring for transformations