1053   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1070           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1071           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1091           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1092           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1106   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1123           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1124           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1141           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1142           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1156   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1173           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1174           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1193           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1194           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1218   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1235           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1236           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1254           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1255           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1267   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1284           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1285           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1301           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1302           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1314   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1331           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1332           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1348           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1349           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()