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


component tail_non_tail {
  provides I p;

  behaviour
  {
    void f() {
      g();
    }
    void g() {
      h();
      h();
    }
    void h() {}

    on p.e(): f();
  }
}