Reordering rule defs