Fix bug in ComparisonHelpers for TUnfold#1

fzeiser wants to merge 1 commit intodaniloefl:masterdaniloefl/Unfolder:masterfrom

fzeiser:patch_TUnfoldDfzeiser/Unfolder:patch_TUnfoldDCopy head branch name to clipboard