Fix spec-checking of bitstr specifications when constant bitstrs are returned