update proposition groups in specs as lists instead of sets, to preserve ordering for order-dependent correspondence functions