let get_func_pre ?(securised=false) func =
  try Hashtbl.find pre_status func
  with _ ->
    if securised  then mk_full_pre_or_post()
    else raise_error "Function pre-condition not found"