ArraycmplenTest/ArraycmplenNotEqualTest.ArraycmpLenNotEqualConstLen/1142 (from ArraycmplenTest_ArraycmplenNotEqualTest)