fix: generation of dynamic member function calls with memoization + propagating of impurity information across chained calls

fix: generation of dynamic member function calls with memoization + propagating of impurity information across chained calls #2613