On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks