fix nontermination bug if loading definition in maude had errors
Merge pull request #476 from dwightguth/maudetask

fix nontermination bug if loading definition in maude had errors