modularize maude backend as test case for the AbstractKModule class

**please review**