Be careful!
Be careful!

If we know that X and Y are equivalent, we can simplify,
since they must forever after be equivalent.

But if we can't establish their equivalence, we cannot act,
even if they are constants, since they may be equated later,
e.g. via refinement.

Among other things, Accord breaks rather badly if the
more aggressive simplification is done, since all guards
of the form X = Y become false!


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

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