Performing equivalence checking and clustering for EPL programming assignments 1 and 2 based on Stainless 0.9.8.7, while employing AST transformation to make Stainless compatible with standard Scala and reduce the verification difficulty of certain complex exercises.

run sbt universal:stage to build the project.

Example usage can be found in the shell scripts in the evaluation folder.