let get_func_post_bycase ?(securised=false) func =
try Hashtbl.find post_status_bycase func
with _ ->
if securised then mk_full_pre_or_post_bycase()
else raise_error ("(data_for_aorai.get_func_post_bycase). Status : Function '"^func^"' postcondition not found")