let get_properties () =
  if Properties.is_set ()
  then Some(Datatype.String.Set.elements (Properties.get()))
  else None