Only the graphical user interface is shown in these screenshots.
Shot
Comment
Screen shot of Gtwig.
Shows model specification in the top half and a counter-model in the
bottom half of the window. Context highlighting (green) indicates
the expression being inspected at the highlighted line in the
counter-model view (below).