Class BavetAftBridgeUniConstraintStream<Solution_,​A>