IMP language in Maude modified to introduce new operators.