interface I {
  in void e();

  behaviour {    
    [true] {
       on e: {}
    }
  }
}

// This component has an illegal problem
component component_illegal_fail0 {
  provides I i;
  requires I ii;
  behaviour { 
    [true] on i.e(): {ii.e(); if (true) illegal;}
  }      
}