Fixed construction of constants (new verifyer detects this)