A solutions using the Maude-based e-Motions tool.