Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago

- also for the special case of formal parameters
- values gathered should now be consistent with the partial graph built