1121   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1138           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1139           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1159           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1160           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1174   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1191           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1192           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1209           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1210           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1224   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1241           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1242           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1261           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1262           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1286   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1303           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1304           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1322           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1323           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1335   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1352           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1353           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1369           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1370           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1382   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1399           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1400           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1416           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1417           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()