let get_rname (f : Sast.func_def) = match f.host with | None -> raise(Failure("Generating refine name for non-refinement " ^ f.name ^ " in class " ^ f.inklass ^ ".")) | Some(host) -> to_rname f.uid host f.name