Running ``` codept a.ml a.ml ``` fails with a module conflict because `codept` sees two files that provides the `A` module.