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"