///////////////////////////////////////////////////////////////////////////////
//  This file is generated automatically using Prop (version 2.4.0),
//  last updated on Jul 1, 2011.
//  The original source file is "..\..\prop-src\querydecomp.pcc".
///////////////////////////////////////////////////////////////////////////////

#line 1 "../../prop-src/querydecomp.pcc"
///////////////////////////////////////////////////////////////////////////////
//
//  This file implements query decomposition for set comprehensions.
//
///////////////////////////////////////////////////////////////////////////////

#include "ir.h"
#include "ast.h"
#line 9 "../../prop-src/querydecomp.pcc"
/*
------------------------------- Statistics -------------------------------
Merge matching rules         = yes
Number of DFA nodes merged   = 0
Number of ifs generated      = 0
Number of switches generated = 0
Number of labels             = 0
Number of gotos              = 0
Adaptive matching            = disabled
Fast string matching         = disabled
Inline downcasts             = disabled
--------------------------------------------------------------------------
*/
