I am sure when the army gets serious (which they have now), they will use pretty much all the usual modern tricks up their sleeves.
Drones, IR equipped snipers capable of getting these scum from half a KM away, in fact any area denial and fire suppression (cover) technique available.
Take a look at how easy this is to control pests....just use a heavier lethal round in a sniper - but this round could work to injure terrosist as well (maybe not lethally but good enough for the purpose).
I genuinely believe Pakistani security forces mixed up Tehrik e Taliban with Tehrik e Insaaf. The Pak govt most likely wanted to reconcile with Imran Khan's party and arrest TTP terrorists but the agencies stuffed it up and did the opposite. Probably typos in memos.
These corny Perso-Arabic phrases can be confusing.