Remove Links from NetKAT quick check.

For now we only generate local policies
merged in semantics branch