In the following there are no arrows between `a` and its import, but there are if the `only-in` is removed or the submodule is in the same file. <img width="656" alt="image" src="https://user-images.githubusercontent.com/4381135/89819928-2a16ee80-db1a-11ea-9598-aa7a7104b929.png">