Comment added to be aware that the extra function is there for a reason.
Comment added to be aware that the extra function
is there for a reason.

philipp-classen/CppQuickCheck,grogers0/CppQuickCheck,grogers0/CppQuickCheck,philipp-classen/CppQuickCheck