Optional ReadonlycfgOptional ReadonlyforceOptional ReadonlyhasOptional ReadonlyreadOptional ReadonlyreturnsOptional Readonlytreatrecord mapping the actual function name called to the arguments that should be treated as function calls
Optional ReadonlyuseName that should be used for the origin (useful when needing to differentiate between functions like 'return' that use the default builtin processor)
which of the arguments should be forced? this may be all, e.g., if the function itself is unknown on encounter