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