Testing model definitions