Introduce a Java interface for monitoring tools delivering the data necessary for empirical dependencies
Currently this interface is defined in QVT-O making it difficult to supply own implementations of it to the solver. This interface should be transformed into a Java interface and an extension mechanism should be introduced to register own implementations of it with the solver.