interface ihello
{
  in bool hello();

  behaviour
  {
    on hello: reply (false);
  }
}

component hello_local_assign
{
  provides ihello h;
  requires iworld w;

  behaviour
  {
    bool b = false;
    [!b] on h.hello():
      {
        {
          bool b = true;
          {
            b = w.world ();
          }
          reply (b);
        }
      }
    [b] on h.hello():
      {
        bool b = w.world();
        reply (b);
      }
  }
}

interface iworld
{
  in bool world();

  behaviour
  {
    on world: reply (false);
  }
}