additional checks in FunctionReturnsValuesOfDifferentType visitor
version update