Dominik Helm

If the entities are all defined in tac, maybe the key should be as well? If I understand you correctly, it is impossible to query the key for any sensible...

Code changes look reasonable, but I'm not sure what the purpose of an eager ReachableMethodsAnalysis would be. ReachableMethodsAnalysis is meant for analyses that only want to analyze methods that are...

Agreed, but #112 should really be fixed, using eager schedulers to work around this is merely a band aid and will not be sufficient once analysis batching is implemented.

I went over this PR and tried several options, none satisfactory. I ended up moving the `null` based handling of methods without bodies into the only analysis that actually uses...

@maximilianruesch Thank you, this looks sensible. I was looking for a way to reuse the method that you now named `processNewContexts`, but didn't find a suitable way. You're right that...

It would probably be simpler to to just return something that is a `ProperPropertyComputationResult` but does nothing. E.g. an empty `Results` or `InterimPartialResult`.