Fuzzer for SMT2