Remove Links from NetKAT quick check.

For now we only generate local policies