public ClassManager()
 {
     TypeInferrer = new DefaultTypeInferrer();
 }
 public ClassManager()
 {
     TypeInferrer = new DefaultTypeInferrer();
 }