Don't default to Z3 and Checkpointing.