dump vars/clauses allocated by allocator
fix profiling (issue #53)