flag `--projector-axioms` for exhaustiveness axioms; default is false
flag `--projector-axioms` for exhaustiveness axioms; default is false

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition