text: /*******************************************************************\
  
  Module:
  
  Author: Daniel Kroening, kroening@kroening.com
  
  \*******************************************************************/
  
  #ifndef CPROVER_SIMPLIFY_UTILS_H
  #define CPROVER_SIMPLIFY_UTILS_H
  
  #include "expr.h"
  
  bool sort_operands(exprt::operandst &operands);
  
  #endif
  