Describe merged proof trees
Describe ICV explain command