Added support for function invoke semantic checking