Now, rules are implemented as set instead of list in CARTA.