de.opal-project abstract-interpretation-framework_2.13 6.0.0 6.0.0 5.0.0 6.0.0 20251009140133