Add post-conditions to the constructors.
Add post-conditions to parsers.
Make number-tag have a range instead of a single value.
Refactor and simplify the tag checking.
Check tag for %bsf instruction.
Check tag for %bsr instruction.
Check tags for cbw, cwde, and cdqe instructions.
Check tags for %xchg instruction.