Global constants are included in state vars (fixes creation of cex)
Global constants are included in state vars (fixes creation of cex)

tinelli/kind2,daniel-larraz/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,kind2-mc/kind2,tinelli/kind2