leaveTeam(ident uid, ident id, ident studentId) {
  assume exists //accounts/account[uid]/tutor[id]/group[//exercises/exercise[id]/student[studentId]/group];
    # implies the existence of the student, the exercise, the group and enough rights by a tutor account
 
  assume exists //exercises/exercise[id]/student[studentId]/team;
 
  remove //exercises/exercise[id]/student[studentId]/team;
}