The source and scripts are from javarifier

Typecasts: 133

Set solution:

INFO: There are 374 (11.440807%) rep, 855 (26.154787%) own, 0 (0.0%) p,
2040 (62.404408%) norep  references out of 3269 references. there are
1094 default norep  Total methods: 1698

INFO: There are 289 (8.840624%) rep, 579 (17.71184%) own, 3
(0.091771185%) p, 2398 (73.35577%) norep  references out of 3269
references. there are 1094 default norep  Total methods: 1698

new Max REP: 285
Max = 285 total copy time: 11510ms
INFO: Start resolving constraings, total: 27012
INFO: Finished resolving constraints, running time: 2.178s. Total
iterations: 3
There are 0 conflicts and 0 failed INFO: Dumping constraints to
gf-constraints.csv...  Conflicts: 
INFO: Writing results to
ot-result.csv...  
INFO: Writing results of fields and allocs to
ot-fields-allocs.csv...  INFO: There are 330 (10.0948305%) rep,
628 (19.210768%) own, 36 (1.1012542%) p, 2275 (69.59315%) norep
references out of 3269 references. there are 1094 default n orep
Total methods: 1698

