Class BavetFilterUniConstraintStream<Solution_,​A>