interface I {
  in void e();
  behaviour {
    on e: {}
  }
}

component function_cont
{
  provides I p;
  behaviour {
    on p.e(): { F(); }

    void F() {
      bool b = G();
      b = G();
    }

    bool G()
    {
      return true;
    }
  }
}