add fpmul_test.smt2 as a test to see if we should bother trying to wire-up smtlib2...