Membership checks of keys in dicts

[mlimbeck]

Gobra crashes when checking membership in a dict without using the domain() keyword.

ghost 
pure func foo(i int, d dict[int]int) bool { 
    return i in d 
    //Logic error: expected a sequence or (multi)set type, but got dict[int°]int°°
}