interface I
{
  in void e();

  behaviour
  {
    on e: {}
  }
}

interface II
{
  in void e();
  out void add();

  behaviour
  {
    on e: {}
  }
}

component range_declaration_expression
{
  provides I p;
  requires II r;

  behaviour {
     subint Sub {0..4};
     on p.e(): { Sub n = 3+2; r.e(); }
     on r.add(): {}
  }
}