Optimize based on reachability due to -quit

1 files changed, 2 insertions, 0 deletions

diff --git a/bfs.h b/bfs.h
index 7a41537..3720b9a 100644
--- a/bfs.h
+++ b/bfs.h
@@ -203,6 +203,8 @@ struct expr {
 	bool always_true;
 	/** Whether this expression always evaluates to false. */
 	bool always_false;
+	/** Whether this expression never returns. */
+	bool never_returns;
 
 	/** Number of times this predicate was executed. */
 	size_t evaluations;