Verifies backwards jumps have tagged targets.