Remove support for Mnemosyne rules
remove obsolete support for cond expressions