Class BavetAbstractBiConstraintStream<Solution_,​A,​B>