axioms with a single "remove allprops". use remove allprops in the driver for bitvectors.
Attach a file by drag & drop or click to upload
