log/smt2perr007.smt2:2:11: unsupported logic 'QF_LRA'