[experimental] moving transformer steps to maude backend