- TINS-212 reference phase - evaluate if function returns
-- added INullTypeSymbol since this type is needed for the implicit return statement