Maude + LaNe + Fixmer - set 01