Extended `varify!` to handle jump targets