dynlevy: law effects now also revoke their own law, like vanilla