lambda_exprt is not a quantifier_exprt

Author: kroening

src/ansi-c/expr2c.cpp

@@ -3822,9 +3822,11 @@ std::string expr2ct::convert_with_precedence(
     return convert_quantifier(
       to_quantifier_expr(src), "exists", precedence = 2);
 
+/*
   else if(src.id()==ID_lambda)
     return convert_quantifier(
       to_quantifier_expr(src), "LAMBDA", precedence = 2);
+*/
 
   else if(src.id()==ID_with)
     return convert_with(src, precedence=16);