QUICr parametric abstract domain for sets