semantic: FunctionType may be null on postfix rewrites.