Statistics.java

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