simp-upd

Synopsis: simp-upd;

Description:

This macro applies only update simplification rules, i.e., that simplify the update term.

Arguments:

No arguments required