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"