Update FunctionEncoding.fs