diff --git a/lib/Analysis/SimpleConstraintManager.h b/lib/Analysis/SimpleConstraintManager.h
index 02292a1..08ab660 100644
--- a/lib/Analysis/SimpleConstraintManager.h
+++ b/lib/Analysis/SimpleConstraintManager.h
@@ -26,6 +26,9 @@
   SimpleConstraintManager(GRStateManager& statemgr) 
     : StateMgr(statemgr) {}
   virtual ~SimpleConstraintManager();
+  
+  bool canReasonAbout(SVal X) const;
+  
   virtual const GRState* Assume(const GRState* St, SVal Cond, bool Assumption,
                                 bool& isFeasible);