static LS dm_modulesWithStructContainingIC(S s) {
  ret filter(dm_moduleIDs(), m -> cic(dm_moduleStruct(m), s));
}