Adding the old recursive clause minimisation code
Fixing varDataLT for  statistics