HomeIsabelle/Phabricator

Combine the tag check instructions with jumps.