1145   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1162           2 * Sizes.NumVars + 1, Sizes.NumUniqueDeclarations,  in Create()
1163           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1184           2 * Sizes.NumVars + 1, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1185           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1201   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1218           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1219           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1236           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1237           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1251   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1268           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1269           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1288           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1289           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1313   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1330           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1331           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1349           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1350           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1362   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1379           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1380           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1396           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1397           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1409   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1426           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1427           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1443           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1444           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1456   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1473           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1474           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1490           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1491           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()