abstract val failing: ExplanatoryAssertionGroupFinalStep
Make the ExplanatoryGroup no longer hold, use this if the explanatory assertion group is a single assertion within a group.