Added Formula.cpp to repo and got both single variable and negation tests to pass