Class BavetForeBridgeUniConstraintStream<Solution_,​A>