Do not abstract expression if it is just a constant symbol
Do not abstract expression if it is just a constant symbol

It was already doing this before, but it was changed in PR #879 to
fix issue #878 (see tests/regression/success/const_in_contract.lus)
The change does not seem necessary anymore.

kind2-mc/kind2,daniel-larraz/kind2