adding constraints for previously computed participations