added class PSClause and file PseudoBoolean.h