component IllegalValueInAssignment_ReturnStatement
{
  provides I pp;

  behaviour
  {
    subint Count {0..5};
    Count Init() {return 6;}
    Count i = 0;
    
    on pp.ia(): i = Init();
  }

  // Simulate IllegalValueInAssignment_ReturnStatement =>
  //   Illegal value in assignment: Range error for variable i
  // if the following trace is performed:
  //   pp.ia
}

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