Editing: FindingVisitor.php