add Maude code