GitLab

-int to size_t for trace
-move env arg to top of simplify_algebra.cpp
-handle overload beter for find_matches