Fix solver setup for logic QF_AX.