Class BavetForeBridgeBiConstraintStream<Solution_,​A,​B>