FlowGateSpec

type FlowGateSpec = PredicateFlowGateSpec | JudgeFlowGateSpec;