Translating Stochastic CLS into Maude