Statement subclasses should override this to do whatever they
do and return a Status1 code. References to function arguments
(which are buried down inside expressions) need to know what
function they're executing inside of, which is why a
VsFunctionCall is passed in to this routine: