Confluent scoping paths lead to incorrect ambiguous error

[janmasrovira]

E.g.

module Main;

import A open;
import B;

axiom X : B.Axiom; -- ERROR (false negative)

module A;

import B public;

module B;

axiom Axiom : Type;