Fixed instance bug
Distinction between abstract constants and constants to allow enable a simple back translation