Replying to myself... In order for Alice to prevent such situation, she could force herself to enforce full module prefix in proc calls with [module qualified access](https://nim-lang.org/docs/manual.html#modules-from-import-statement). from A import nil from B import nil Run
That way, she can control her use of A and B features at the expense of more typing...