interface I {
  in bool e();
  behaviour {
    on e: reply (true);
  }
}

component local_shadow_local {
  provides I p;
  behaviour {
    on p.e(): {
      bool local = true;
      if (local) {
        bool local = false;
      }
      if (local)
        reply (local);
      else
        reply (false);
    }
  }
}