Implemented evaluation with renaming

Fixing the many hlint errors.

Implemented renaming of assertions