Added accessor method for number of literals in Clause.java