,  at the end is an C++11 extension
Write newConstraint builder function
Do not reserve space for lits since we do not know the exact size