1091   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1108           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1109           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1129           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1130           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1144   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1161           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1162           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1179           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1180           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1194   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1211           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1212           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1231           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1232           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1256   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1273           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1274           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1292           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1293           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1305   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1322           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1323           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1339           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1340           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1352   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1369           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1370           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1386           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1387           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()