Fixes #(Verify that a model is valid)

Extract conditions.