let refine_lookup data klass_name method_name refinement_name = match map_lookup klass_name data.refines with | Some(map) -> map_lookup_list (method_name ^ "." ^ refinement_name) map | _ -> []