interface Intf {
  in void evt();
  behaviour {
    bool f() {
      bool b = false;
      if (b) {
        return false;
      }
      else if (!b) {
        // return true;
      }
    }
    
    on evt: {}
  }
}