Fixed bug in BitType
Test for BitType that reproduces the error