mycompiler.mytypereconstruction.typeassumption
Classes 
CInstVarTypeAssumption
CLocalVarTypeAssumption
CMethodTypeAssumption
CParaTypeAssumption
CTypeAssumption