4e49302916
- fix corner cases in `const` optimisation - deprecate `/*@const*/` fixes #1497 closes #1498
- fix corner cases in `const` optimisation - deprecate `/*@const*/` fixes #1497 closes #1498