adding back function calls to constraints   ,  as comments,   for the debugging   related uses.
increasing the heap size and stack size for the tautology application
setting the max allowed constraint length (beyond which the constraint will be ignored from checking) to    2,500,000

and also other  stats gathering