Class BavetAftBridgeBiConstraintStream<Solution_,​A,​B>