a field value computed inside a branching statement cannot be used outside of it

```kotlin
var x: Field = ...
if (...)
   x = neighboring...
else 
  x = neighboring...
```

this occurrence should raise an error