ptolemy.data.ontologies.lattice.adapters.constAbstractInterpretation.data.expr