176   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(2 * VL.size()));  in Create()
186   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(2 * N));  in CreateEmpty()
207   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(3 * VL.size()));  in Create()
219   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(3 * N));  in CreateEmpty()
256   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(5 * VL.size()));  in Create()
270   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(5 * N));  in CreateEmpty()
279   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(VL.size()));  in Create()
287   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(N));  in CreateEmpty()
323   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(5 * VL.size() + 2));  in Create()
346   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(5 * NumVars + 2));  in CreateEmpty()
354   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(VL.size() + 1));  in Create()
364   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(NumVars + 1));  in CreateEmpty()
394   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(4 * VL.size()));  in Create()
405   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(4 * N));  in CreateEmpty()
435   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(4 * VL.size()));  in Create()
447   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(4 * N));  in CreateEmpty()
485   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(5 * VL.size()));  in Create()
500   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(5 * N));  in CreateEmpty()
509   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(VL.size() + 1));  in Create()
517   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(N));  in CreateEmpty()
525   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(VL.size() + 1));  in Create()
537   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(N + 1));  in CreateEmpty()
608       totalSizeToAlloc<Expr *, ValueDecl *, unsigned,  in Create()
629       totalSizeToAlloc<Expr *, ValueDecl *, unsigned,  in CreateEmpty()
659       totalSizeToAlloc<Expr *, ValueDecl *, unsigned,  in Create()
678       totalSizeToAlloc<Expr *, ValueDecl *, unsigned,  in CreateEmpty()
708       totalSizeToAlloc<Expr *, ValueDecl *, unsigned,  in Create()
727       totalSizeToAlloc<Expr *, ValueDecl *, unsigned,  in CreateEmpty()
740   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(VL.size()));  in Create()
749   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(N));  in CreateEmpty()
758   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(VL.size()));  in Create()
767   void *Mem = C.Allocate(totalSizeToAlloc<Expr *>(N));  in CreateEmpty()