let find_generic_role role_id =
  match (find_role role_id) with
    Basic x -> (x :> Types.generic_hlpsl_role)
  | Composition x -> (x :> Types.generic_hlpsl_role)