Fixed a bug where maude wasn't correctly processing strands that are only executed up to a specific step.