let add_properties preamble l = List.fold_left (fun pre prop -> {pre with Cudf.property = prop :: pre.Cudf.property } ) preamble l