modularize maude backend as test case for the AbstractKModule class

**do not review yet**