ComputeExhaustiveCastabilityInformation.exec(jprogram, options.isCastCheckingDisabled());
ComputeInstantiatedJsoInterfaces.exec(jprogram);
ImplementCastsAndTypeChecks.exec(jprogram, options.isCastCheckingDisabled(), false);
ArrayNormalizer.exec(jprogram, options.isCastCheckingDisabled());
EqualityNormalizer.exec(jprogram);
TypeMapper<?> typeMapper = new StringTypeMapper();
ResolveRuntimeTypeReferences.exec(jprogram, typeMapper, TypeOrder.NONE);
return typeMapper;
}