let refinable_lookup data klass_name method_name refinement_name =
let refines = match map_lookup klass_name data.refinable with
| Some(map) -> map_lookup_list method_name map
| None -> [] in
List.filter (fun f -> f.name = refinement_name) refines