ATACMS and PrSM would definitely be used to strike air defense systems. The US military is very joint and the boundary you're delineating isn't part of the mission tasking.
replySure, it's possible in theory. In reality, the army has other priorities.
reply