Property tests for finder with monad/load
Finding prop test (finding and not finding)