let get_func_post ?(securised=false) func =
try let (s,t) = (Hashtbl.find post_status func) in (Array.copy s,Array.copy t)
with _ ->
if securised then mk_full_pre_or_post()
else raise_error ("(data_for_aorai.get_func_post). Status : Function '"^func^"' postcondition not found")