log/smt2perr045.smt2:3:1: expected bit-width but reached end-of-file