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