log/smt2perr101.smt2:2:10: one argument to 'store' missing