Invalid scope of variables and package qualifiers

[ArquintL]

The following program results in an illegal state exception "Cycle detected in attribute evaluation 'store' at pkg.T" because (presumably) the parameter pkg is not correctly treated as being distinct from the qualifier pkg for the imported package.

000693.gobra:

package issue000693

// ##(-I ./000693/)
import pkg "pkg"

func foo(pkg pkg.T) {
    pkg.bar()
}

000693/pkg/pkg.gobra:

package pkg

type T struct{}

func (t *T)bar()