fix nontermination bug if loading definition in maude had errors

@yilongli please review.