Some minor changes in proof generator