Exception when using []uint8 instead of []byte

[bruggerl]

Gobra crashes with an exception when verifying this example:

type Person struct {
    Age [1]byte
}

func test() {
    joao := &Person{
        Age: [1]uint8{50},
    }
}

It appears that the verifier fails to handle the mismatch between uint8 and byte, despite these being equivalent types in Go. When changing uint8 to byte, the example successfully verifies.