Summary: FJSizeLimits {classLimit = 1, methodPerClassLimit = 2, fieldPerClassLimit = 1, variablePerMethodLimit = 1, expressionPerMethodComplexityLimit = 1} Number Programs: 238201 Number TC Programs: 658 Summary: Num Safe Programs:217757 Passes: 217757