log/btorperr002.btor:10: literal '9' has width '6' but expected '5'