Testing for sortIsDefinedInSpec? (as opposed to its negation) for the case in specialTermToExpressionM that checks to see if the method is defined in the spec.  Makes Accord a bit happier.
Testing for sortIsDefinedInSpec? (as opposed to its negation)
for the case in specialTermToExpressionM that checks to see if
the method is defined in the spec.  Makes Accord a bit happier.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@3310 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware