Mend brokenness revealed by 0489404

The bug was introduced in f89e161 but not discovered until 0489404 revealed it
: type2 instructions containing dereferences were being processed as invalid.
This was caught by `bsearch_demo.texe` in `make check`.