Class BavetAftBridgeTriConstraintStream<Solution_,​A,​B,​C>