Summary: FJSizeLimits {classLimit = 1, methodPerClassLimit = 1, fieldPerClassLimit = 0, variablePerMethodLimit = 1, expressionPerMethodComplexityLimit = 2} Number Programs: 1641 Number TC Programs: 57 Summary: Num Safe Programs:1553 Passes: 1553