smt:fuzz_basic_op: Crash with empty stacktrace

Detailed Report: https://oss-fuzz.com/testcase?key=5091399218298880 Project: smt Fuzzing Engine: libFuzzer Fuzz Target: fuzzbasicop Job Type: libfuzzerasansmt Platform Id: linux Crash Type: UNKNOWN READ Crash Address: 0xfffffffffffffff0 Crash State: NULL Sanitizer: address ASAN Recommended Securi...