component IllegalValueInAssignment_AssignmentStatement
{
  provides I pp;
  
  behaviour
  {
    subint Count {0..5};
    Count i = 0;
    
    on pp.ia(): i = 6;
  }

  // Simulate IllegalValueInAssignment_AssignmentStatement =>
  //   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: {}
  }
}