Statistics.java

class Statistics {
    public int inter_type_field_count = 0;
    
    public void print() {
    	original();
    	System.out.println("---");
        System.out.println("inter-type fields (noc):\t" + inter_type_field_count);
    }
}