openRegistration(string uid, string id) {
  assume exists //accounts/account[uid]/examiner[id];
 
  assume exists //exams/exam[id];
 
  assume not //exams/exam[id]/free;
 
  update //exams/exam[id]/free true;
}