Fixed return dependencies

This time I added the fact that if a parameter is modified inside the function by the combiner, then the variable's new type depends on the function call itself, as it's currently done in the Types analysis. (function<args...>::_ptypeX, so it depends on function and args)