error in displayVerificationResults

[hbourbouh]

Error using displayVerificationResults>createMaskAction (line 181)
Dialog control with name 'Display_counter_example_as_signals' already exists
Error in displayVerificationResults>addCounterExampleOptions (line 155)
createMaskAction('Display counter example as signals', cexSignals, propertyStruct.originPath);
Error in displayVerificationResults>displayPropertyResult (line 131)
addCounterExampleOptions(propertyStruct, resultIndex, propertyIndex);
Error in displayVerificationResults>displayVerificationResult (line 33)
ancestorColor = displayPropertyResult(verificationResult.properties{i},ancestorColor, resultIndex, i);
Error in displayVerificationResults (line 12)
displayVerificationResult(verificationResults,compositionalMap, analysisIndex);
Error in cocoSpecKind2 (line 93)
displayVerificationResults(verificationResults, compositionalMap);