Allow -no_inv_gen and -reduce_inv together since properties can be invariants to each other