Distinction between abstract constants and constants to enable a simple back translation