Function:returning: Added assertions that values are passed along to inner function.
Function:returning: Added assertions that values are passed along to inner function.

bergmark/Cactus,bergmark/Cactus