Introduced fullTypeCheck flag.
checkFunctionExpression only type checks function body if fullTypeCheck is true.