Class BavetFromUniConstraintStream<Solution_,​A>