Added invariant to Patient class