[Maude symbolic backend]: Fixing token to variable transformer