--- include/sat/reach.h
+++ include/sat/reach.h
@@ -22,7 +22,7 @@
 bool exists_file(const std::string& filename)
 {
   std::ifstream from(filename.c_str());
-  return (from);
+  return !from.fail();
 }
 
 namespace sat {