1This tests branch opcodes to verify that their arguments are actually of
2the appropriate types.
3