let add_requires hyp bhvs =
debug "[add_requires] size of bhs :%d" (List.length bhvs);
try
List.iter
(fun b ->
if Cil.is_default_behavior b then begin
b.b_requires <- hyp :: b.b_requires;
raise Exit
end)
bhvs
with Exit ->
()