Bug fix: proof tree based summarization was not working of it was
repeatedly executed. The problem was in a singletone class which was
keeping previously assigned variable states.