Flattening is not hygienic with dependencies of importing a single name

[bugarela]

module A {
  val a = 1
  val b = a
}

module B {
  val a = 2
  import A.b
}

quint -r ../local/test.qnt::B
Quint REPL 0.14.3
Type ".exit" to exit, or ".help" for more information
>>> a
2
>>> b
2  -----------> should be 1