Improvements to program slicing
[done by @portv ]
Re-add support for distinct function parameters in dependence graph, multiple bugfixes and improvements
[done by @portv ]
Re-add support for distinct function parameters in dependence graph, multiple bugfixes and improvements