fix counterexamples when using constants