Fixes #(Verify that a model is valid)

Extract & simplify the condition.