Replacing muAll and muOr with calls to ALL and OR: changes to the Rascal 'while' translation; some changes to the tr_cond; renaming.