Fixes #(Verify that a model is valid)

Extract & name the condition.