Draft: Refactor SMG evaluators (on top of fix-inequality branch)
Before September 4th, I was not going to push this branch. That's why the commits before that date are a little messy and commit messages are scarse.
Before September 4th, I was not going to push this branch. That's why the commits before that date are a little messy and commit messages are scarse.