Clean up of verification

Disabled verification of ADT rules. It is not working yet.