Markus Limbeck

counterexample support for Prusti's snapshot encoding For this branch to work correctly it needs my version of Fabio's branch of Silicon: [https://github.com/mlimbeck/silicon/tree/fabio-counterexample-improvements](https://github.com/viperproject/prusti-dev/pull/url)

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:...