public function teardown(
        ExampleNode $example,
        Specification $context,
        MatcherManager $matchers,
        CollaboratorManager $collaborators
    ) {
        if (!isset($this->collaborator)) return false;
        $this->collaborator->checkProphetPredictions();
        return true;
    }