Class BavetFilterBiConstraintStream<Solution_,​A,​B>