let string_of_level l = 
        match l with 
        | H -> "high" 
        | M (domain) -> "medium: " ^ (string_of_domain domain)
        | L -> "low"