Expected removal of repeated statements that were incorrectly included in the slice by SlicePruneVisitor without being marked as such by the algorithm.

Add DynamicTypeResolver to solve dynamic types intraprocedurally

See merge request !48

* VariableAction.Definition now includes the expression to which the variable is defined, if possible.
* Solves #44, as we require the expression in the return variable action.
* Clients have been updated to register the type solvers in the new StaticTypeSolver interface.

Create ClassGraph

See merge request !46

Resolve "Slicer.java flag -l fails"

Closes #42

See merge request !47

Small fixes for future support of nested calls

See merge request !45

* CallGraph, VariableVisitor: unify visit arguments behaviour to avoid lookup errors of calls
  by the CallGraph that were not registered by VariableVisitor.

Add CI tests on merge

See merge request !44

Implement criterion which don't need a file.

See merge request !43

Add module-info.java to sdg-core

See merge request !42

The PPDG makes some transitive CDs direct, in order to
remove some of them. The ES-SDG then stops some of these,
which had the consequence of not reaching `Enter` in some
cases.