Fixes #(Verify that a model is valid)

Extract the condition.