Template class for analyzing complete Java projects that use the abstract interpreter.
This trait is intended to be used in combination with the Analysis and the
AnalysisExecutor traits to easily create a readily executable analysis (see
the Demos project for examples).
Defines a method to optionally report some result.
Primarily intended to be mixed-in by domains that are used by an AIProject.