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