Manages calling a concrete function (with known MIR body) with argument passing, and returning the return value to the caller.