···364364 if class != null
365365 then
366366 m:
367367- if m._class != null -> m._class == class
367367+ if m._class == null || m._class == class
368368 then m
369369 else
370370 throw "The module ${m._file or m.key} was imported into ${class} instead of ${m._class}."