RichDetermenisticOp and FlowTransformerSpec

* emit then become
* emit then finish
* termination emits
* FlowTransformerSpec