Add further consistency checking of schema rules

o Verify that rule obligations match up