GitLab

also apply transformations to the proved subgoals if "all subgoals"
is selected (just as we do it for provers)