OrdGroups_ptr enc_utils_create_vars_ord_groups( BoolEnc_ptr bool_enc, NodeList_ptr vars )
OrdGroups_ptr enc_utils_parse_ordering_file( const char* order_filename, const BoolEnc_ptr bool_enc )