IGNORED.put("Intersection_Invalid_2", "unclassified");
IGNORED.put("Lambda_Invalid_3", "unclassified");
IGNORED.put("ArrayAssign_Invalid_2", "Infinite Loop?");
IGNORED.put("ArrayAssign_Invalid_3", "Infinite Loop?");
IGNORED.put("ArrayEquals_Invalid_1", "unclassified");
<BUG>IGNORED.put("ArrayLength_Invalid_2", "Timeout");
IGNORED.put("ArrayUpdate_Invalid_1", "unclassified");
IGNORED.put("MethodRef_Invalid_1", "unclassified");</BUG>
IGNORED.put("MethodRef_Invalid_2", "unclassified");
IGNORED.put("MethodRef_Invalid_3", "unclassified");

IGNORED.put("Intersection_Invalid_2", "unclassified");
IGNORED.put("Lambda_Invalid_3", "unclassified");
IGNORED.put("ArrayAssign_Invalid_2", "Infinite Loop?");
IGNORED.put("ArrayAssign_Invalid_3", "Infinite Loop?");
IGNORED.put("ArrayEquals_Invalid_1", "unclassified");
IGNORED.put("ArrayUpdate_Invalid_1", "unclassified");
IGNORED.put("Array_Invalid_7", "#665");
IGNORED.put("MethodRef_Invalid_1", "unclassified");
IGNORED.put("MethodRef_Invalid_2", "unclassified");
IGNORED.put("MethodRef_Invalid_3", "unclassified");
