Called before the other context extraction. We use it to name the
variables. Note that we also do the work for
swish_trace:post_context/3 here because we need to remove the
attributes.
The model and justification are communicated as a Prolog string
holding HTML. That is dubious as the SWISH infrastructure turns this
into escaped HTML which we need to undo in SWISH' runner.js.