Adds hypothesis-related logic to the data checker in Drop.