Class BavetForEachUniConstraintStream<Solution_,​A>