@rule_one@
expression e1, e2, d;
@@

-add_timer (&e1);
+mod_timer (&e1, d);
... when != d = e2
-e1.expires = d;

@rule_two@
expression e3, c;
@@

-e3.expires = c;
...
-add_timer (&e3);
+mod_timer (&e3, c);