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