interface IllegalValueInAssignment_IAssignmentStatement
{
  in void ia();
  
  behaviour
  {
    subint Count {0..5};
    Count c = 0;

    on ia: c = 6;
  }
  
  // Simulate IllegalValueInAssignment_IAssignmentStatement =>
  //   Illegal value in assignment: Range error for variable c
  // if the following trace is performed:
  //   ia
}