added type checking rule to check for bit-vector constants of size 0