Issue #72: ModuleChecker should check that all classes in a
.car belong to the module (fix corner case)