diff --git a/src/ExprNode.cc b/src/ExprNode.cc
index a0fb1309..cc8185c5 100644
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@@ -8258,8 +8258,7 @@ VarExpectationNode::removeTrendLeadLag(const map<int, expr_t> &trend_symbols_map
 bool
 VarExpectationNode::isInStaticForm() const
 {
-  cerr << "VarExpectationNode::isInStaticForm not implemented." << endl;
-  exit(EXIT_FAILURE);
+  return false;
 }
 
 bool