IllegalArgumentException when checking "Refinement"
When verifying "Refinement" between components with different alphabets.
Steps to reproduce the issue:
- Compile CHECK_REFINEMENT
- Check "MTS->REFINEMENT" between TV_CONTROLLER_NO_DET and CONTROLLER_CHECK_COMP (both directions)
Output:
