If the model has been modified by the user. The verification result should not be used.

[hbourbouh]

(Debug) Error using displayVerificationResults>initializeVerificationVisualization (line 55)
Invalid inputs specified for method 'get'
Error in displayVerificationResults (line 10)
initializeVerificationVisualization(verificationResults);
Error in cocoSpecKind2 (line 93)
displayVerificationResults(verificationResults, compositionalMap);