Added list of literals in class Variable for binary clauses.