במערכת לבדיקת קורונה עלינו להגדיר את האילוץ שתוצאה של בדיקת קורונה יכלה להיות שייכת רק לנבדק אחד, באיזו שפת מידול ניתן לגדיר את האילוץ ?