regress/parser/smt2perr101.smt2:2:10: expected 3 arguments to 'store', got 2