Added CadTTICAD class with some functions around clauses and eqcons