let is_true name m =
    try
      Datatype.String.Map.find name m
    with Not_found -> false