Weaken the bond between literals and nodes of the implication graph
Evaluate results of Idris callbacks
Visualize construction of asserting clause
Tweak appearance
Remove obsolete comment