regress/parser/smt2perr170.smt2:1:21: expected bit-vector term of size 1 at index 0 as argument to 'fp'