From cddf3ccece641a82e694228f9a1ae69793115729 Mon Sep 17 00:00:00 2001 From: Andreas Stadelmeier Date: Tue, 26 Nov 2024 13:51:45 +0100 Subject: [PATCH] Add Or Cons Test --- src/main/asp/unifyOrCons.lp | 153 ++++++++++++++++++++++++++++++++++++ 1 file changed, 153 insertions(+) create mode 100644 src/main/asp/unifyOrCons.lp diff --git a/src/main/asp/unifyOrCons.lp b/src/main/asp/unifyOrCons.lp new file mode 100644 index 0000000..f4681a1 --- /dev/null +++ b/src/main/asp/unifyOrCons.lp @@ -0,0 +1,153 @@ +% TEST INPUT +%orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapAttribute",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.math.BigInteger",null)),undCons(subcons(tph("_a"),type("java.math.BigInteger",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.HashSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.intpoly.IntegerPolynomial$Element",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.DoubleAdder",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$AsLIFOQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$EmptyListIterator",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList$ListItr",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.math.BigDecimal",null)),undCons(subcons(tph("_a"),type("java.math.BigDecimal",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedList$1",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser",null)),undCons(subcons(tph("_b"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.swing.AccumulativeRunnable",null)),undCons(subcons(tph("_b"),tph("_T_array")), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jmx.remote.internal.ArrayQueue",null)),undCons(subcons(tph("_b"),tph("_T")), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.relation.Role",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("javax.xml.datatype.XMLGregorianCalendar",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.swing.tree.MutableTreeNode",null)),undCons(subcons(tph("_a"),type("javax.swing.tree.DefaultMutableTreeNode",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.awt.image.ImageFetchable",null)),undCons(subcons(tph("_a"),type("sun.awt.image.ImageFetcher",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.Attribute",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedMap$CheckedEntrySet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.standard.JobStateReason",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayDeque",null)), null)), null))))))))))))))))))))))))))))))))))))). +%orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.HashAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.GroupLayout$ComponentInfo",null)),undCons(subcons(tph("_a"),type("javax.swing.GroupLayout$LinkInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.ArrayList$SubList$1",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Set",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList$ListItr",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.SPKIData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentSkipListSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_c"),type("java.util.zip.ZipEntry",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.management.MBeanServerPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.UnresolvedPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_V")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$ValuesView",null)), null)), null))))))))))))))))))). + +%orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapAttribute",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.math.BigInteger",null)),undCons(subcons(tph("_a"),type("java.math.BigInteger",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.HashSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.intpoly.IntegerPolynomial$Element",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.DoubleAdder",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$AsLIFOQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$EmptyListIterator",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList$ListItr",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.math.BigDecimal",null)),undCons(subcons(tph("_a"),type("java.math.BigDecimal",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedList$1",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser",null)),undCons(subcons(tph("_b"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.swing.AccumulativeRunnable",null)),undCons(subcons(tph("_b"),tph("_T_array")), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jmx.remote.internal.ArrayQueue",null)),undCons(subcons(tph("_b"),tph("_T")), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.relation.Role",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("javax.xml.datatype.XMLGregorianCalendar",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.swing.tree.MutableTreeNode",null)),undCons(subcons(tph("_a"),type("javax.swing.tree.DefaultMutableTreeNode",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.awt.image.ImageFetchable",null)),undCons(subcons(tph("_a"),type("sun.awt.image.ImageFetcher",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.Attribute",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedMap$CheckedEntrySet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.standard.JobStateReason",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayDeque",null)), null)), null))))))))))))))))))))))))))))))))))))). +%orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.HashAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.GroupLayout$ComponentInfo",null)),undCons(subcons(tph("_a"),type("javax.swing.GroupLayout$LinkInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.ArrayList$SubList$1",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Set",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList$ListItr",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.SPKIData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentSkipListSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_c"),type("java.util.zip.ZipEntry",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.management.MBeanServerPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.UnresolvedPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_V")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$ValuesView",null)), null)), null))))))))))))))))))). + +orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapAttribute",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.math.BigInteger",null)),undCons(subcons(tph("_a"),type("java.math.BigInteger",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.HashSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.intpoly.IntegerPolynomial$Element",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.DoubleAdder",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$AsLIFOQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$EmptyListIterator",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList$ListItr",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.math.BigDecimal",null)),undCons(subcons(tph("_a"),type("java.math.BigDecimal",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedList$1",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser",null)),undCons(subcons(tph("_b"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.swing.AccumulativeRunnable",null)),undCons(subcons(tph("_b"),tph("_T_array")), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jmx.remote.internal.ArrayQueue",null)),undCons(subcons(tph("_b"),tph("_T")), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.relation.Role",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.Name",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_b"),type("javax.xml.datatype.Duration",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentSkipListSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.accessibility.AccessibleRelation",null)),undCons(subcons(tph("_a"),type("javax.accessibility.AccessibleRelationSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.RenderingHints",null)),undCons(subcons(tph("_a"),type("java.awt.RenderingHints",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.JumboEnumSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.DurationImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)),undCons(subcons(tph("_b"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.TrayIcon",null)),undCons(subcons(tph("_a"),type("java.awt.SystemTray",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("sun.awt.X11.InfoWindow",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.sound.midi.Track",null)),undCons(subcons(tph("_b"),type("javax.sound.midi.MidiEvent",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_b"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.bcel.internal.util.ClassSet",null)),undCons(subcons(tph("_b"),type("com.sun.org.apache.bcel.internal.classfile.JavaClass",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JTabbedPane",null)),undCons(subcons(tph("_b"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_T")),undCons(subcons(tph("_a"),type("java.util.stream.Stream$Builder",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$KeySetView",null)),undCons(subcons(tph("_b"),tph("_K")), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("sun.nio.ch.Util$2",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_b"),type("char",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.LinkedTransferQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyValue",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.PGPData",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xalan.internal.xsltc.util.IntegerArray",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue",null)),undCons(subcons(tph("_b"),type("java.lang.Runnable",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.geom.Area",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Area",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SubjectName",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Vector",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.management.MBeanServerPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("long",null)),undCons(subcons(tph("_a"),type("sun.java2d.xr.XcbRequestCounter",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.StatLong",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.List",null)),undCons(subcons(tph("_b"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.CompositeName",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)),undCons(subcons(tph("_b"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("sun.awt.util.IdentityArrayList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("javax.security.auth.Subject$SecureSet",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.JumboEnumSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.PriorityQueue",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.DEREncodedKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.swing.AbstractButton",null)),undCons(subcons(tph("_a"),type("javax.swing.ButtonGroup",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.stream.IntStream$Builder",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.MgmtData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.xml.internal.stream.writers.XMLEventWriterImpl",null)),undCons(subcons(tph("_b"),type("javax.xml.stream.XMLEventReader",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.RegularEnumSet",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedCollection",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_T")),undCons(subcons(tph("_a"),type("javax.security.auth.Subject$ClassSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.security.PermissionCollection",null)),undCons(subcons(tph("_b"),type("java.security.Permission",null)), null)),orCons(undCons(subcons(tph("_b"),type("jdk.internal.org.objectweb.asm.tree.AbstractInsnNode",null)),undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.PermissionsHash",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.stream.DoubleStream$Builder",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.RSAKeyValue",null)), null)),orCons(undCons(subcons(tph("_b"),type("long",null)),undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.StatLong",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.AllPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.awt.X11.XAtom",null)),undCons(subcons(tph("_a"),type("sun.awt.X11.XAtomList",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)),undCons(subcons(tph("_b"),type("javax.swing.Action",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.Hashtable$EntrySet",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.UnresolvedPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Digest",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.relation.RoleUnresolved",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleUnresolvedList",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$UnmodifiableList$1",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Deque",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collection",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("javax.imageio.spi.PartiallyOrderedSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.security.x509.GeneralSubtree",null)),undCons(subcons(tph("_a"),type("sun.security.x509.GeneralSubtrees",null)), null)),orCons(undCons(subcons(tph("_b"),type("long",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.LongAdder",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.Menu",null)),undCons(subcons(tph("_a"),type("java.awt.MenuBar",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Rectangle",null)),undCons(subcons(tph("_b"),type("java.awt.Point",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.security.auth.kerberos.KrbDelegationPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("javax.xml.stream.XMLEventWriter",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyInfoReference",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintJobAttributeSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.SPKIData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.BasicPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.BlockingDeque",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.net.httpserver.HttpContextImpl",null)),undCons(subcons(tph("_a"),type("sun.net.httpserver.ContextList",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentLinkedDeque",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$SetFromMap",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)),undCons(subcons(tph("_b"),type("javax.swing.JMenuItem",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Menu",null)),undCons(subcons(tph("_b"),type("java.awt.MenuItem",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.beans.beancontext.BeanContextSupport",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.dom.DOMStringListImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$ShortVector",null)),undCons(subcons(tph("_b"),type("short",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.stream.XMLEventWriter",null)),undCons(subcons(tph("_b"),type("javax.xml.stream.XMLEventReader",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("com.sun.jndi.dns.DnsName",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ListIterator",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.LinkedList",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_b"),type("long",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.DelayQueue",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.net.SocketPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.Policy$UnsupportedEmptyCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.CompoundName",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.List",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWIterator",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_b"),type("javax.swing.JMenuItem",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.Permissions",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.KeyStore",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_b"),type("long",null)),undCons(subcons(tph("_a"),type("java.util.stream.LongStream$Builder",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_b"),type("[Lcom.sun.media.sound.ModelPerformer;",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.cert.X509Certificate",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.PriorityBlockingQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator",null)),undCons(subcons(tph("_b"),type("com.sun.org.apache.xerces.internal.xs.XSObject",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.CharSequence",null)),undCons(subcons(tph("_a"),type("java.util.StringJoiner",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ArrayBlockingQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenuBar",null)),undCons(subcons(tph("_b"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.RegularEnumSet",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$SynchronizedAttributeSet",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Certificate",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList$ListItr",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyName",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.accessibility.AccessibleStateSet",null)),undCons(subcons(tph("_b"),type("javax.accessibility.AccessibleState",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.naming.RefAddr",null)),undCons(subcons(tph("_a"),type("javax.naming.Reference",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.NameImpl",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("javax.xml.stream.util.XMLEventConsumer",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_b"),type("sun.security.util.math.IntegerModuloP",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.PrintServiceAttributeSet",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.directory.BasicAttribute",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentLinkedQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.io.ObjectInputStream$HandleTable$HandleList",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("java.awt.Choice",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.management.relation.RoleUnresolvedList",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.bcel.internal.generic.InstructionHandle",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xalan.internal.xsltc.compiler.FlowList",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.font.CreatedFontTracker",null)),undCons(subcons(tph("_b"),type("java.io.File",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.HashAttributeSet",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.LinkedList$ListItr",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.naming.ldap.Rdn",null)),undCons(subcons(tph("_a"),type("javax.naming.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.commons.InstructionAdapter",null)),undCons(subcons(tph("_b"),type("jdk.internal.org.objectweb.asm.Type",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Set",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.security.auth.kerberos.KrbServicePermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.RetrievalMethod",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_b"),type("short",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintRequestAttributeSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("float",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.LinkedBlockingDeque",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JToolBar",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$SynchronizedCollection",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Queue",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_b"),type("javax.swing.Action",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("java.awt.Container",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.TreeSet",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("com.sun.xml.internal.stream.writers.XMLEventWriterImpl",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.PublicKey",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.awt.PopupMenu",null)),undCons(subcons(tph("_a"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xerces.internal.xs.XSNamespaceItem",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_b"),type("int",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.net.www.MimeEntry",null)),undCons(subcons(tph("_a"),type("sun.net.www.MimeTable",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArraySet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Rectangle",null)),undCons(subcons(tph("_b"),type("java.awt.Rectangle",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$UnmodifiableCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.swing.GroupLayout$ComponentInfo",null)),undCons(subcons(tph("_a"),type("javax.swing.GroupLayout$LinkInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.Vector$ListItr",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("long",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.BlockingQueue",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_T")),undCons(subcons(tph("_a"),type("java.util.stream.Streams$StreamBuilderImpl",null)), null)),orCons(undCons(subcons(tph("_b"),type("byte",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.awt.SunDisplayChanger",null)),undCons(subcons(tph("_b"),type("sun.awt.DisplayChangedListener",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_b"),type("com.sun.media.sound.ModelPerformer",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.DocAttributeSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$ValuesView",null)),undCons(subcons(tph("_b"),tph("_V")), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_b"),type("com.sun.media.sound.ModelInstrument",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.DelayQueue",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.x509.GeneralNames",null)),undCons(subcons(tph("_b"),type("sun.security.x509.GeneralName",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.security.provider.PolicyParser$PermissionEntry",null)),undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.ArrayList$SubList$1",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.directory.Attribute",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.MethodNode$1",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.io.FilePermissionCollection",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.util.zip.ZipEntry",null)),undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("java.awt.Menu",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubList",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("javax.xml.datatype.XMLGregorianCalendar",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.swing.tree.MutableTreeNode",null)),undCons(subcons(tph("_a"),type("javax.swing.tree.DefaultMutableTreeNode",null)), null)),orCons(undCons(subcons(tph("_b"),type("sun.awt.image.ImageFetchable",null)),undCons(subcons(tph("_a"),type("sun.awt.image.ImageFetcher",null)), null)),orCons(undCons(subcons(tph("_b"),type("javax.management.Attribute",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_b"),type("double",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator",null)),undCons(subcons(tph("_b"),tph("_E")), null)),orCons(undCons(subcons(tph("_b"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_b"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedMap$CheckedEntrySet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_b"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_b"),type("javax.print.attribute.standard.JobStateReason",null)), null)),orCons(undCons(subcons(tph("_b"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayDeque",null)), null)), null))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))). +orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.HashAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.GroupLayout$ComponentInfo",null)),undCons(subcons(tph("_a"),type("javax.swing.GroupLayout$LinkInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.ArrayList$SubList$1",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Set",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList$ListItr",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.SPKIData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentSkipListSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_c"),type("java.util.zip.ZipEntry",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.management.MBeanServerPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.UnresolvedPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_V")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$ValuesView",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.StatLong",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedList$1",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.Name",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.management.relation.RoleUnresolvedList",null)),undCons(subcons(tph("_c"),type("javax.management.relation.RoleUnresolved",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_c"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintJobAttributeSet",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SubjectName",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("char",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Rectangle",null)),undCons(subcons(tph("_c"),type("java.awt.Point",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.management.relation.Role",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.PrintServiceAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.Vector$ListItr",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("javax.xml.datatype.XMLGregorianCalendar",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)), null)),orCons(undCons(subcons(tph("_c"),type("long",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.LongAdder",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.intpoly.IntegerPolynomial$Element",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.TrayIcon",null)),undCons(subcons(tph("_a"),type("java.awt.SystemTray",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.CompositeName",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$ShortVector",null)),undCons(subcons(tph("_c"),type("short",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.xerces.internal.xs.XSObject",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_T")),undCons(subcons(tph("_a"),type("javax.security.auth.Subject$ClassSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser",null)),undCons(subcons(tph("_c"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$KeySetView",null)),undCons(subcons(tph("_c"),tph("_K")), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_c"),type("[Lcom.sun.media.sound.ModelPerformer;",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("java.awt.Container",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.directory.BasicAttribute",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.LinkedList",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("sun.awt.util.IdentityArrayList",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.naming.ldap.Rdn",null)),undCons(subcons(tph("_a"),type("javax.naming.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_c"),type("double",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$AsLIFOQueue",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.MgmtData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$SetFromMap",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("com.sun.jndi.dns.DnsName",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.management.relation.RoleUnresolvedList",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.x509.GeneralNames",null)),undCons(subcons(tph("_c"),type("sun.security.x509.GeneralName",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.awt.X11.XAtom",null)),undCons(subcons(tph("_a"),type("sun.awt.X11.XAtomList",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.xml.internal.stream.writers.XMLEventWriterImpl",null)),undCons(subcons(tph("_c"),type("javax.xml.stream.XMLEventReader",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.JumboEnumSet",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList$ListItr",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_c"),type("javax.xml.datatype.Duration",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)),undCons(subcons(tph("_c"),type("javax.swing.JMenuItem",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.KeyStore",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.math.BigDecimal",null)),undCons(subcons(tph("_a"),type("java.math.BigDecimal",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_c"),type("short",null)), null)),orCons(undCons(subcons(tph("_c"),type("float",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.security.PermissionCollection",null)),undCons(subcons(tph("_c"),type("java.security.Permission",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("javax.security.auth.Subject$SecureSet",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.PopupMenu",null)),undCons(subcons(tph("_a"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Rectangle",null)),undCons(subcons(tph("_c"),type("java.awt.Rectangle",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_c"),type("com.sun.media.sound.ModelPerformer",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JToolBar",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentLinkedDeque",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$UnmodifiableCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Queue",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue",null)),undCons(subcons(tph("_c"),type("java.lang.Runnable",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)),undCons(subcons(tph("_c"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.net.www.MimeEntry",null)),undCons(subcons(tph("_a"),type("sun.net.www.MimeTable",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.Menu",null)),undCons(subcons(tph("_a"),type("java.awt.MenuBar",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayDeque",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.List",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.JumboEnumSet",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.io.File",null)),undCons(subcons(tph("_a"),type("sun.font.CreatedFontTracker",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.net.httpserver.HttpContextImpl",null)),undCons(subcons(tph("_a"),type("sun.net.httpserver.ContextList",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.DoubleAdder",null)),undCons(subcons(tph("_c"),type("double",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.standard.JobStateReason",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.RenderingHints",null)),undCons(subcons(tph("_c"),type("java.awt.RenderingHints",null)), null)),orCons(undCons(subcons(tph("_c"),type("long",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.PriorityBlockingQueue",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.security.auth.kerberos.KrbServicePermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)),undCons(subcons(tph("_c"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_c"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.stream.DoubleStream$Builder",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("byte",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.net.SocketPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.Reference",null)),undCons(subcons(tph("_c"),type("javax.naming.RefAddr",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Certificate",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedMap$CheckedEntrySet",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.TreeSet",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.io.FilePermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.Policy$UnsupportedEmptyCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$SynchronizedCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$UnmodifiableList$1",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("sun.nio.ch.Util$2",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.Permissions",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.IntegerModuloP",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Deque",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.LinkedList$ListItr",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("java.awt.Choice",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentLinkedQueue",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Vector",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.DocAttributeSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.beans.beancontext.BeanContextSupport",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("javax.imageio.spi.PartiallyOrderedSet",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.NameImpl",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.LinkedBlockingDeque",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.List",null)),undCons(subcons(tph("_c"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.DelayQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.AbstractButton",null)),undCons(subcons(tph("_a"),type("javax.swing.ButtonGroup",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.PublicKey",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Digest",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JTabbedPane",null)),undCons(subcons(tph("_c"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_c"),type("long",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.BlockingQueue",null)), null)),orCons(undCons(subcons(tph("_c"),type("jdk.internal.org.objectweb.asm.tree.AbstractInsnNode",null)),undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$SynchronizedAttributeSet",null)),undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.DelayQueue",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.PermissionsHash",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenuBar",null)),undCons(subcons(tph("_c"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_c"),type("long",null)),undCons(subcons(tph("_a"),type("java.util.stream.LongStream$Builder",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.accessibility.AccessibleStateSet",null)),undCons(subcons(tph("_c"),type("javax.accessibility.AccessibleState",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.stream.XMLEventWriter",null)),undCons(subcons(tph("_c"),type("javax.xml.stream.XMLEventReader",null)), null)),orCons(undCons(subcons(tph("_c"),type("long",null)),undCons(subcons(tph("_a"),type("sun.java2d.xr.XcbRequestCounter",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.security.auth.kerberos.KrbDelegationPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.bcel.internal.util.ClassSet",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.bcel.internal.classfile.JavaClass",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.geom.Area",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Area",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWIterator",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.awt.SunDisplayChanger",null)),undCons(subcons(tph("_c"),type("sun.awt.DisplayChangedListener",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_T")),undCons(subcons(tph("_a"),type("java.util.stream.Streams$StreamBuilderImpl",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.naming.CompoundName",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$EmptyListIterator",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.security.provider.PolicyParser$PermissionEntry",null)),undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.directory.Attribute",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ListIterator",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.AllPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubList",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)), null)),orCons(undCons(subcons(tph("_c"),type("sun.security.x509.GeneralSubtree",null)),undCons(subcons(tph("_a"),type("sun.security.x509.GeneralSubtrees",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.Hashtable$EntrySet",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("com.sun.xml.internal.stream.writers.XMLEventWriterImpl",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.DurationImpl",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.swing.tree.MutableTreeNode",null)),undCons(subcons(tph("_a"),type("javax.swing.tree.DefaultMutableTreeNode",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.DEREncodedKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.BlockingDeque",null)), null)),orCons(undCons(subcons(tph("_c"),type("long",null)),undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.StatLong",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.math.BigInteger",null)),undCons(subcons(tph("_c"),type("java.math.BigInteger",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("java.security.cert.X509Certificate",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArraySet",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("javax.management.Attribute",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.RegularEnumSet",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapAttribute",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("javax.xml.stream.util.XMLEventConsumer",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.dom.DOMStringListImpl",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.BasicPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintRequestAttributeSet",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.LinkedTransferQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.RegularEnumSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.awt.image.ImageFetcher",null)),undCons(subcons(tph("_c"),type("sun.awt.image.ImageFetchable",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.PGPData",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("javax.xml.stream.XMLEventWriter",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Menu",null)),undCons(subcons(tph("_c"),type("java.awt.MenuItem",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.xerces.internal.xs.XSNamespaceItem",null)), null)),orCons(undCons(subcons(tph("_c"),type("javax.accessibility.AccessibleRelation",null)),undCons(subcons(tph("_a"),type("javax.accessibility.AccessibleRelationSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.RSAKeyValue",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.stream.IntStream$Builder",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.MethodNode$1",null)),undCons(subcons(tph("_c"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_c"),type("int",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xalan.internal.xsltc.util.IntegerArray",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_c"),type("com.sun.media.sound.ModelInstrument",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.RetrievalMethod",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_T")),undCons(subcons(tph("_a"),type("java.util.stream.Stream$Builder",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.commons.InstructionAdapter",null)),undCons(subcons(tph("_c"),type("jdk.internal.org.objectweb.asm.Type",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.PriorityQueue",null)),undCons(subcons(tph("_c"),tph("_E")), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.String",null)),undCons(subcons(tph("_a"),type("java.awt.Menu",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.io.ObjectInputStream$HandleTable$HandleList",null)),undCons(subcons(tph("_c"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_c"),type("javax.swing.JMenuItem",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.HashSet",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ArrayBlockingQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.sound.midi.Track",null)),undCons(subcons(tph("_c"),type("javax.sound.midi.MidiEvent",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.lang.CharSequence",null)),undCons(subcons(tph("_a"),type("java.util.StringJoiner",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyInfoReference",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_c"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyName",null)), null)),orCons(undCons(subcons(tph("_c"),type("com.sun.org.apache.bcel.internal.generic.InstructionHandle",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xalan.internal.xsltc.compiler.FlowList",null)), null)),orCons(undCons(subcons(tph("_c"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("sun.awt.X11.InfoWindow",null)), null)),orCons(undCons(subcons(tph("_c"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collection",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.swing.AccumulativeRunnable",null)),undCons(subcons(tph("_c"),tph("_T_array")), null)),orCons(undCons(subcons(tph("_c"),tph("_T")),undCons(subcons(tph("_a"),type("com.sun.jmx.remote.internal.ArrayQueue",null)), null)), null))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))). +orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SubjectName",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$SetFromMap",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)),undCons(subcons(tph("_d"),type("javax.swing.JMenuItem",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.stream.IntStream$Builder",null)),undCons(subcons(tph("_d"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.RenderingHints",null)),undCons(subcons(tph("_d"),type("java.awt.RenderingHints",null)), null)),orCons(undCons(subcons(tph("_d"),type("long",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.accessibility.AccessibleStateSet",null)),undCons(subcons(tph("_d"),type("javax.accessibility.AccessibleState",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedList$1",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue",null)),undCons(subcons(tph("_d"),type("java.lang.Runnable",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ScheduledThreadPoolExecutor$DelayedWorkQueue",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.geom.Point2D",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.CompositeName",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.dom.DOMStringListImpl",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.List",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collection",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xalan.internal.xsltc.util.IntegerArray",null)),undCons(subcons(tph("_d"),type("int",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWIterator",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.RegularEnumSet",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.xerces.internal.xs.XSNamespaceItem",null)), null)),orCons(undCons(subcons(tph("_d"),type("char",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.CompoundName",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.util.PropertyPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_d"),type("[Lcom.sun.media.sound.ModelPerformer;",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("java.awt.Container",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.awt.image.ImageFetcher",null)),undCons(subcons(tph("_d"),type("sun.awt.image.ImageFetchable",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.LinkedList",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$UnmodifiableAttributeSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.lang.CharSequence",null)),undCons(subcons(tph("_a"),type("java.util.StringJoiner",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.UnresolvedPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.commons.InstructionAdapter",null)),undCons(subcons(tph("_d"),type("jdk.internal.org.objectweb.asm.Type",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_d"),type("java.util.zip.ZipEntry",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$UnmodifiableCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)),undCons(subcons(tph("_d"),type("javax.management.relation.Role",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.management.Attribute",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_T")),undCons(subcons(tph("_a"),type("java.util.stream.Stream$Builder",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.security.auth.kerberos.KrbServicePermissionCollection",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.bcel.internal.generic.InstructionHandle",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xalan.internal.xsltc.compiler.FlowList",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.naming.ldap.Rdn",null)),undCons(subcons(tph("_a"),type("javax.naming.ldap.LdapName",null)), null)),orCons(undCons(subcons(tph("_d"),type("long",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.LongAdder",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("javax.management.relation.RoleList",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.LinkedTransferQueue",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.PermissionsHash",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList$InsnListIterator",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Certificate",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.dns.DnsName",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("com.sun.xml.internal.stream.writers.XMLEventWriterImpl",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.TreeSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.Menu",null)),undCons(subcons(tph("_a"),type("java.awt.MenuBar",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.io.ObjectInputStream$HandleTable$HandleList",null)),undCons(subcons(tph("_d"),type("int",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.x509.GeneralNames",null)),undCons(subcons(tph("_d"),type("sun.security.x509.GeneralName",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.bcel.internal.util.ClassSet",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.bcel.internal.classfile.JavaClass",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator$ShortVector",null)),undCons(subcons(tph("_d"),type("short",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$CheckedCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSetUtilities$SynchronizedAttributeSet",null)),undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509Digest",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.LinkedBlockingDeque",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.HashAttributeSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.PublicKey",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Deque",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.PriorityQueue",null)), null)),orCons(undCons(subcons(tph("_d"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.stream.DoubleStream$Builder",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.awt.SunDisplayChanger",null)),undCons(subcons(tph("_d"),type("sun.awt.DisplayChangedListener",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.AttributeSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("sun.security.provider.PolicyParser$PermissionEntry",null)),undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509CRL",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractCollection",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.xml.stream.events.XMLEvent",null)),undCons(subcons(tph("_a"),type("javax.xml.stream.util.XMLEventConsumer",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.BlockingDeque",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.datatype.XMLGregorianCalendar",null)),undCons(subcons(tph("_d"),type("javax.xml.datatype.Duration",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentLinkedQueue",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.Permissions",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$EntrySetView",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_d"),type("int",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.io.File",null)),undCons(subcons(tph("_a"),type("sun.font.CreatedFontTracker",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("java.util.JumboEnumSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_T")),undCons(subcons(tph("_a"),type("java.util.stream.Streams$StreamBuilderImpl",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintServiceAttributeSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.accessibility.AccessibleRelation",null)),undCons(subcons(tph("_a"),type("javax.accessibility.AccessibleRelationSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("double",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Vector$ListItr",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("javax.swing.JTabbedPane",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509SKI",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.swing.GroupLayout$ComponentInfo",null)),undCons(subcons(tph("_a"),type("javax.swing.GroupLayout$LinkInfo",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("sun.nio.ch.Util$2",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Vector",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.directory.Attribute",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.util.XSObjectListImpl$XSObjectListIterator",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.xerces.internal.xs.XSObject",null)), null)),orCons(undCons(subcons(tph("_d"),type("sun.net.httpserver.HttpContextImpl",null)),undCons(subcons(tph("_a"),type("sun.net.httpserver.ContextList",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.tools.jar.Main$1",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.RSAKeyValue",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArraySet",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyInfoReference",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.JumboEnumSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_V")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$ValuesView",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.stream.XMLEventWriter",null)),undCons(subcons(tph("_d"),type("javax.xml.stream.XMLEventReader",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.AbstractList$ListItr",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JToolBar",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.ldap.LdapName",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.BasicPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.DelayQueue",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)),undCons(subcons(tph("_d"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayDeque",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.swing.AbstractButton",null)),undCons(subcons(tph("_a"),type("javax.swing.ButtonGroup",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.math.BigInteger",null)),undCons(subcons(tph("_d"),type("java.math.BigInteger",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.NameImpl",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.Collections$CheckedMap$CheckedEntrySet",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.HashSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.security.provider.PolicyParser",null)),undCons(subcons(tph("_d"),type("sun.security.provider.PolicyParser$GrantEntry",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Set",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_T")),undCons(subcons(tph("_a"),type("javax.security.auth.Subject$ClassSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$SynchronizedCollection",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.DurationImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_d"),type("javax.xml.datatype.Duration",null)), null)),orCons(undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.MethodNode$1",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.beans.beancontext.BeanContextSupport",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.math.BigDecimal",null)),undCons(subcons(tph("_a"),type("java.math.BigDecimal",null)), null)),orCons(undCons(subcons(tph("_d"),type("byte",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubListIterator",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$EmptyListIterator",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.Hashtable$EntrySet",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.io.FilePermissionCollection",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList$COWSubList",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.impl.xs.XSModelImpl$XSNamespaceItemListIterator",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.DocAttributeSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintJobAttributeSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ListIterator",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.RegularEnumSet",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.geom.Area",null)),undCons(subcons(tph("_a"),type("java.awt.geom.Area",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.xml.stream.XMLEventWriter",null)),undCons(subcons(tph("_d"),type("javax.xml.stream.events.XMLEvent",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList$ListItr",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.sound.midi.Track",null)),undCons(subcons(tph("_d"),type("javax.sound.midi.MidiEvent",null)), null)),orCons(undCons(subcons(tph("_d"),type("double",null)),undCons(subcons(tph("_a"),type("java.util.concurrent.atomic.DoubleAdder",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Rectangle",null)),undCons(subcons(tph("_d"),type("java.awt.Rectangle",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.MgmtData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.RetrievalMethod",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyName",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Choice",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.management.relation.RoleUnresolvedList",null)),undCons(subcons(tph("_d"),type("javax.management.relation.RoleUnresolved",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapName",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),type("sun.net.www.MimeEntry",null)),undCons(subcons(tph("_a"),type("sun.net.www.MimeTable",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.BlockingQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenuBar",null)),undCons(subcons(tph("_d"),type("javax.swing.JMenu",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.awt.X11.XAtomList",null)),undCons(subcons(tph("_d"),type("sun.awt.X11.XAtom",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.Policy$UnsupportedEmptyCollection",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("javax.imageio.spi.PartiallyOrderedSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_T")),undCons(subcons(tph("_a"),type("com.sun.jmx.remote.internal.ArrayQueue",null)), null)),orCons(undCons(subcons(tph("_d"),type("long",null)),undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.StatLong",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_d"),type("com.sun.media.sound.ModelPerformer",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.Component",null)),undCons(subcons(tph("_a"),type("sun.awt.X11.InfoWindow",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$UnmodifiableList$1",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.Histogram",null)),undCons(subcons(tph("_d"),type("long",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.xml.datatype.Duration",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xerces.internal.jaxp.datatype.XMLGregorianCalendarImpl",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Menu",null)),undCons(subcons(tph("_d"),type("java.awt.MenuItem",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.management.MBeanServerPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.List",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.swing.tree.MutableTreeNode",null)),undCons(subcons(tph("_a"),type("javax.swing.tree.DefaultMutableTreeNode",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("javax.security.auth.Subject$SecureSet",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentLinkedDeque",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.cert.X509Certificate",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_d"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.intpoly.IntegerPolynomial$Element",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.directory.BasicAttribute",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.KeyStore",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.media.sound.SimpleInstrument",null)),undCons(subcons(tph("_d"),type("com.sun.media.sound.ModelInstrument",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.geom.Rectangle2D",null)),undCons(subcons(tph("_d"),type("java.awt.geom.Rectangle2D",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentSkipListSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.Reference",null)),undCons(subcons(tph("_d"),type("javax.naming.RefAddr",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Rectangle",null)),undCons(subcons(tph("_d"),type("java.awt.Point",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolverSpi",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.storage.StorageResolver",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.PGPData",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_d"),type("int",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.DelayQueue",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.PriorityBlockingQueue",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.security.PermissionCollection",null)),undCons(subcons(tph("_d"),type("java.security.Permission",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.swing.AccumulativeRunnable",null)),undCons(subcons(tph("_d"),tph("_T_array")), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.TrayIcon",null)),undCons(subcons(tph("_a"),type("java.awt.SystemTray",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.swing.JMenu",null)),undCons(subcons(tph("_d"),type("javax.swing.JMenuItem",null)), null)),orCons(undCons(subcons(tph("_d"),type("long",null)),undCons(subcons(tph("_a"),type("sun.java2d.xr.XcbRequestCounter",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.naming.Name",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Collections$AsLIFOQueue",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.ArrayList$SubList$1",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.security.AllPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.keyvalues.DSAKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_d"),type("jdk.internal.org.objectweb.asm.tree.AbstractInsnNode",null)),undCons(subcons(tph("_a"),type("jdk.internal.org.objectweb.asm.tree.InsnList",null)), null)),orCons(undCons(subcons(tph("_d"),type("long",null)),undCons(subcons(tph("_a"),type("java.util.stream.LongStream$Builder",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.util.concurrent.ConcurrentHashMap$KeySetView",null)),undCons(subcons(tph("_d"),tph("_K")), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("java.net.SocketPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.SPKIData",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_d"),type("javax.print.attribute.standard.JobStateReason",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.ArrayBlockingQueue",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.swing.Action",null)),undCons(subcons(tph("_a"),type("javax.swing.JPopupMenu",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)),undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.awt.PopupMenu",null)),undCons(subcons(tph("_a"),type("java.awt.Component",null)), null)),orCons(undCons(subcons(tph("_a"),type("com.sun.jndi.ldap.LdapAttribute",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.LinkedList$ListItr",null)), null)),orCons(undCons(subcons(tph("_d"),type("sun.security.util.math.IntegerModuloP",null)),undCons(subcons(tph("_a"),type("sun.security.util.math.IntegerModuloP",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("sun.awt.util.IdentityArrayList",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.security.Permission",null)),undCons(subcons(tph("_a"),type("javax.security.auth.kerberos.KrbDelegationPermissionCollection",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.Menu",null)),undCons(subcons(tph("_d"),type("java.lang.String",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.management.relation.RoleUnresolvedList",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)),undCons(subcons(tph("_d"),type("short",null)), null)),orCons(undCons(subcons(tph("_d"),type("float",null)),undCons(subcons(tph("_a"),type("java.awt.image.renderable.ParameterBlock",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.concurrent.CopyOnWriteArrayList",null)), null)),orCons(undCons(subcons(tph("_a"),type("javax.print.attribute.standard.JobStateReasons",null)),undCons(subcons(tph("_d"),type("java.lang.Object",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.xml.stream.XMLEventReader",null)),undCons(subcons(tph("_a"),type("com.sun.xml.internal.stream.writers.XMLEventWriterImpl",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.x509.XMLX509IssuerSerial",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.content.X509Data",null)), null)),orCons(undCons(subcons(tph("_d"),tph("_E")),undCons(subcons(tph("_a"),type("java.util.Queue",null)), null)),orCons(undCons(subcons(tph("_d"),type("javax.print.attribute.Attribute",null)),undCons(subcons(tph("_a"),type("javax.print.attribute.PrintRequestAttributeSet",null)), null)),orCons(undCons(subcons(tph("_a"),type("sun.java2d.marlin.stats.StatLong",null)),undCons(subcons(tph("_d"),type("int",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.DEREncodedKeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_d"),type("com.sun.org.apache.xml.internal.security.keys.content.KeyValue",null)),undCons(subcons(tph("_a"),type("com.sun.org.apache.xml.internal.security.keys.KeyInfo",null)), null)),orCons(undCons(subcons(tph("_d"),type("java.lang.Object",null)),undCons(subcons(tph("_a"),type("javax.management.AttributeList",null)), null)),orCons(undCons(subcons(tph("_d"),type("sun.security.x509.GeneralSubtree",null)),undCons(subcons(tph("_a"),type("sun.security.x509.GeneralSubtrees",null)), null)), null))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))). + +:- sigma(tph("_b"), A), sigma(tph("_c"), A),sigma(tph("_d"), A). + +subtype(type("java.lang.Boolean",null),type("java.lang.Object",null)):-subtype(type("java.lang.Boolean",null)).subtype(type("java.lang.String",null),type("java.lang.Object",null)):-subtype(type("java.lang.String",null)).subtype(type("java.lang.Integer",null),type("java.lang.Object",null)):-subtype(type("java.lang.Integer",null)).subtype(type("OrConsTest",null),type("java.lang.Object",null)):-subtype(type("OrConsTest",null)).subtype(type("MyPair",params(XX,XY)),type("Pair",params(XX,XX))):-subtype(type("MyPair",params(XX,XY))).subtype(type("Pair",params(XX,XY)),type("Object",null)):-subtype(type("Pair",params(XX,XY))).subtype(type("List",params(XX)),type("Object",null)):-subtype(type("List",params(XX))).subtype(type("Integer",null),type("Object",null)):-subtype(type("Integer",null)).subtype(type("String",null),type("Object",null)):-subtype(type("String",null)). + +subtype(type("C1",null),type("java.lang.Object",null)):-subtype(type("C1",null)). +subtype(type("C2",null),type("java.lang.Object",null)):-subtype(type("C2",null)). +subtype(type("java.lang.Boolean",null),type("java.lang.Object",null)):-subtype(type("java.lang.Boolean",null)).subtype(type("java.lang.String",null),type("java.lang.Object",null)):-subtype(type("java.lang.String",null)).subtype(type("java.lang.Integer",null),type("java.lang.Object",null)):-subtype(type("java.lang.Integer",null)).subtype(type("OrConsTest",null),type("java.lang.Object",null)):-subtype(type("OrConsTest",null)).subtype(type("MyPair",params(XX,XY)),type("Pair",params(XX,XX))):-subtype(type("MyPair",params(XX,XY))).subtype(type("Pair",params(XX,XY)),type("Object",null)):-subtype(type("Pair",params(XX,XY))).subtype(type("List",params(XX)),type("Object",null)):-subtype(type("List",params(XX))).subtype(type("Integer",null),type("Object",null)):-subtype(type("Integer",null)).subtype(type("String",null),type("Object",null)):-subtype(type("String",null)). + +%TODO: there is propably something wrong with the or-constraint generation + +%%%%% + +subtype(type("MyPair", params(X, Y)), type("Pair", params(Y, X))) :- subtype(type("MyPair", params(X, Y))). +subtype(type("ArrayList", params(X)), type("List", params(X))) :- subtype(type("ArrayList", params(X))). +subtype(type("List", params(X)), type("Object", null)) :- subtype(type("List", params(X))). +subtype(type("Integer", null), type("Object", null)) :- subtype(type("Integer", null)). +subtype(type("Matrix", null), type("Vector", params(type("Vector", params(type("Integer", null)))))) :- subtype(type("Matrix", null)). +subtype(type("Vector", params(X)), type("Object", null)) :- subtype(type("Vector", params(X))). + + +% Or-Constraints +undCons(A,B) :- orCons(undCons(A,B), null). +undCons(A,B); orCons(C,D) :- orCons(undCons(A,B), orCons(C,D)). + + +% undCons +subcons(A,B) :- undCons(subcons(A,B), _). +undCons(C,D) :- undCons(_, undCons(C,D)). +equalcons(A,B) :- undCons(equalcons(A,B), _). +undCons(B,C) :- undCons(A, undCons(B, C)). + +% Subtyping +subtype(A, A) :- subtype(A). % reflexive +subtype(A, A) :- subtype(A, B). % reflexive +subtype(B) :- subtype(A, B). % transitive +subtype(A, C) :- subtype(A, B), subtype(B, C). % transitive +% named Subtyping +namedSubtype(A,B) :- subtype(type(A, AP), type(B, BP)). +% is reflexive and transitive because subtype it stems from subtype + +% generate the subtype relations for every constraint where one is needed: (this could be optimized) +subtype(type(A, P)) :- subcons(_, type(A, P)). +subtype(type(A, P)) :- subcons(type(A, P), _). + +% subst: +subst(tph(A), type(N,P)) :- equalcons(tph(A), type(N, P)). + +% subst-L: +subcons(B,C) :- subst(A, B), subcons(A, C). +%subst-R: +subcons(C,B) :- subst(A, B), subcons(C, A). +%subst-Equal: +equalcons(B,C) :- subst(A, B), equalcons(A, C). + +%swap: +equalcons(A,B) :- equalcons(B,A). + +%unfold: +equalcons(T, T) :- equalcons(tph(_), type(_, params(T))). +equalcons(T, T) :- equalcons(tph(_), type(_, params(T, _))). +equalcons(T, T) :- equalcons(tph(_), type(_, params(_, T))). +equalcons(T, T) :- equalcons(tph(_), type(_, params(T, _, _))). +equalcons(T, T) :- equalcons(tph(_), type(_, params(_, T, _))). +equalcons(T, T) :- equalcons(tph(_), type(_, params(_, _, T))). + +% Subst-Param: +subcons(A, type(C, params(T2))) :- subcons(A, type(C, params(T))), subst(T, T2). +subcons(A, type(C, params(T2, P2))) :- subcons(A, type(C, params(T, P2))), subst(T, T2). +subcons(A, type(C, params(P1, T2))) :- subcons(A, type(C, params(P1, T))), subst(T, T2). +subcons(A, type(C, params(T2, P2, P3))) :- subcons(A, type(C, params(T, P2, P3))), subst(T, T2). +subcons(A, type(C, params(P1, T2, P3))) :- subcons(A, type(C, params(P1, T, P3))), subst(T, T2). +subcons(A, type(C, params( P1, P2, T2))) :- subcons(A, type(C, params(P1, P2, T))), subst(T, T2). + +% match +subcons(type(C, P1), type(D, P2)) :- subcons(tph(A), type(C, P1)), subcons(tph(A), type(D, P2)), namedSubtype(C, D). + +% adopt +subcons(tph(A), type(C,P)) :- subcons(tph(A), tph(B)), subcons(tph(B), type(C,P)). + +% adapt +equalcons(type(D,P3), type(D,P2)) :- subcons(type(C,P), type(D, P2)), subtype(type(C, P), type(D, P3)). + +% reduce +equalcons(P1, PP1) :- equalcons(type(C, params(P1)), type(C, params(PP1))). +equalcons(P1, PP1) :- equalcons(type(C, params(P1, P2)), type(C, params(PP1, PP2))). +equalcons(P2, PP2) :- equalcons(type(C, params(P1, P2)), type(C, params(PP1, PP2))). +equalcons(P1, PP1) :- equalcons(type(C, params(P1, P2, P3)), type(C, params(PP1, PP2, PP3))). +equalcons(P2, PP2) :- equalcons(type(C, params(P1, P2, P3)), type(C, params(PP1, PP2, PP3))). +equalcons(P3, PP3) :- equalcons(type(C, params(P1, P2, P3)), type(C, params(PP1, PP2, PP3))). + +% super +{ equalcons(tph(A), type(D, DP)): subtype(type(C, CP), type(D, DP)) } == 1 :- subcons(type(C, CP), tph(A)). +%equalcons(tph(A), type(C, CP)) :- subcons(type(C, CP), tph(A)), not subtype(type(C, CP),_). + + +%Solution-Gen +%subst(tph(A), typeVar(tph(A))) :- subcons(tph(A), type(C,P)), not sigma(tph(A), _). +%sigma2(tph(A), typeVar(tph(A))) :- subcons(tph(A), type(C,P)), not sigma(tph(A), _). + +% here we check if there is a constraint a <. C, where there is no other Constraint. This is the solution-Gen rule +%Solution-Subst: +hasASubtype(tph(A), type(D,P2)) :- subcons(tph(A), type(C,P)), subcons(tph(A), type(D,P2)), namedSubtype(C, D), C != D. +equalcons(tph(A), type(C,P)) :- subcons(tph(A), type(C,P)), not hasASubtype(tph(A), type(C,P)). + +%Solution: +tphs( P ) :- equalcons(tph(A), type(C, P)). +sigma(tph(A), type(C,P)) :- equalcons(tph(A), type(C, P)), not tphs(_, P). + +% Fail +:- equalcons(tph(A), type(C, P)), tphs(tph(A), P). % fail for subst + +:- equalcons(type(C, CP), type(D, DP)), C != D. % fail for reduce +:- subcons(type(C, CP), type(D, DP)), not namedSubtype(C, D). % fail for adapt +:- subcons(tph(A), type(D, DP)), subcons(tph(A), type(C, CP)), not namedSubtype(C, D), not namedSubtype(D, C). %Fail for match + +%% Helpers +%tphs: +tphs(tph(P), params(tph(P))) :- tphs( params(tph(P))). +tphs(P) :- tphs( params(type(C, P))). +tphs(tph(A), params(type(C, P))) :- tphs( params(type(C, P))), tphs(tph(A), P). + +tphs(tph(P), params(X, tph(P))) :- tphs( params(X, tph(P))). +tphs(tph(P), params(tph(P), X)) :- tphs( params(tph(P), X)). +tphs(P) :- tphs( params(X, type(C, P))). +tphs(P) :- tphs( params(type(C, P), X)). +tphs(tph(A), params(X, type(C, P))) :- tphs( params(X, type(C, P))), tphs(tph(A), P). +tphs(tph(A), params(type(C, P), X)) :- tphs( params(type(C, P), X)), tphs(tph(A), P). + + +tphs(tph(P), params(tph(P), X, Y)) :- tphs( params(tph(P), X, Y)). +tphs(tph(P), params(X, tph(P), Y)) :- tphs( params(X, tph(P), Y)). +tphs(tph(P), params(X,Y,tph(P))) :- tphs( params(X, Y, tph(P))). +tphs(P) :- tphs( params(type(C, P), X, Y)). +tphs(P) :- tphs( params(X, type(C, P),Y)). +tphs(P) :- tphs( params(X,Y,type(C, P))). +tphs(tph(A), params(type(C, P), X, Y)) :- tphs( params(type(C, P), X, Y)), tphs(tph(A), P). +tphs(tph(A), params(X, type(C, P), Y)) :- tphs( params(X, type(C, P), Y)), tphs(tph(A), P). +tphs(tph(A), params(X, Y, type(C, P))) :- tphs( params(X, Y, type(C, P))), tphs(tph(A), P). + + +#show sigma/2. +#show sigma2/2. \ No newline at end of file