Tuning the test script
Reducing code verbosity
Extracting the minimization algorithm as a metafunction of its own
Sanitizing the file inclusion chain
Added metafunction that checks whether two sets of unifiers are equivalent
Updated minimize so that it follows the inheritance idiom
Updated the test script for better output format
Removing the inclusion of some unecessary headers