Correct tests for Formula's constructor
Add equality functions to Generalization
Test CNF method of Formula
Test CNF method of Generalization and is_literal for top and bottom cases