NFD

In every branch there's always a return statement immediately after the assignment to isFound, so the value stored is never read. Therefore the BOOST_VERIFY condition is always true and can be eliminated, together with the variable isFound itself.