Added test for maude user substitution