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