Allow assertions to refer to constants