Keep references to parameters in CFG-class and make them accessible.
For exit nodes, add USE(* parameter) for each parameter before doing data flow analysis.

This allows us to see if a DEF of * parameter reaches the end of the function.
Improved pointer-handling.
Fixes for previous commit. New tests.