Remove unnecessary monad from testPredicate, and don't clobber DS state