Removing unused variable
Fixing memory usage reporting from clauseAllocator
Fixing some memory usage reports