CheckInternal: Improved checking of multiCompare patterns