fix verification tests failing because of Z3 core dump err