- Remove the `concretize` and `abstract` method of abstract domains - Provide a `from` function for abstract value domains to abstract concrete values - Make implementation of domain operators more consistent - Introduce interfaces for value domains (i.e., numeric domains, string domains, boolean domains, set domains, ...)
concretizeandabstractmethod of abstract domainsfromfunction for abstract value domains to abstract concrete values