+ if (inheritance.additionalClass != null) {
+ writer.println(name+ " <T " + inheritance.baseClass + " <T " + inheritance.additionalClass);
+ } else if (inheritance.atomicType != null){
+ writer.println(name+ " <T " + inheritance.baseClass + " <T " + inheritance.atomicType.l0Type);
+ } else {