Added Clause.[] and Clause.size()
Removed Clause.counter
Added default constructor to Clause
Added copy constructor to Formula