haskeySD: make check even more robust (blerner)