let crit_secr s lvl gnum padd = (s.group = gnum) && (s.nums+s.numc <= lvl) && (s.nums <= s.numc)
&& ((student_resp s padd) == Zero)
&& (try let prev = get_group_previous_project gnum padd in
(student_resp s prev != Secr) &&
(student_resp s prev != Capt)
with Not_found -> true)