*** STATS ***

--- Statistics of the model ---
Number of modules: 1

Number of classes: 7
  Number of interface kind: 1 (14.27%)
  Number of enum kind: 2 (28.57%)
  Number of class kind: 4 (57.14%)

Number of class definitions: 8
Number of refined classes: 1 (14.27%)
Average number of class refinments by classes: 0.14
Average number of class refinments by refined classes: 1.0

Number of properties: 19
  Number of MAttribute: 3 (15.77%)
  Number of MMethod: 16 (84.20%)

Number of property definitions: 19
Number of redefined properties: 0 (0.0%)
Average number of property redefinitions by property: 0.0
Average number of property redefinitions by redefined property: na

--- Explicit vs. Implicit Self ---
Total number of self: 5
Total number of implicit self: 4 (80.0%)

--- Sends on Nullable Reciever ---
Total number of sends: 19
Number of sends on a nullable receiver: 0 (0.0%)
Number of buggy sends (cannot determine the type of the receiver): 0 (0.0%)

--- Statistics of the explitic static types ---
Total number of explicit static types: 9
Most used types: 
  Int: 6
  C: 1
  B: 1
  A: 1
Distribution of type usage:
  <=1: 3 (75.0% of types; 33.32% of usage)
  <=8: 1 (25.0% of types; 66.65% of usage)

--- Construction of tables ---
Number of runtime classes: 6 (excluding interfaces and abstract classes)
Average number of composing class definition by runtime class: 3.0
Total size of tables (classes and instances): 34 (not including stuff like info for subtyping or call-next-method)
Average size of table by runtime class: 5.66
Values never redefined: 34 (100.0%)

--- Type Analysis ---
Number of live runtime types (instantied resolved type): 6
	Sys Bool Int A B C
Number of live method definitions: 14
Number of live customized method definitions: 14
Number of live runtime cast types (ie used in as and isa): 0
	
class_hierarchy.dot
classdef_hierarchy.dot
model.html
module_hierarchy.dot