[F] getFinalStateOverride

function getFinalStateOverride(program, operation): undefined | FinalStateValue

Get the overridden final state value for this operation, if any

Parameters

Parameter	Type	Description
program	Program	The program to process
operation	Operation	The operation to check for an override value

Returns

undefined | FinalStateValue

The FInalStateValue if it exists, otherwise undefined