Codecontract in CriteriaForm.cs