proof tree related summarisation measures added