test smack without bit-vectors, not messed up anything I guess
bug fixed in SmackRep::lit()