1136   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1153           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1154           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1174           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1175           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1189   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1206           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1207           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1224           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1225           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1239   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1256           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1257           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1276           2 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1277           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1301   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1318           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1319           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1337           3 * Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1338           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1350   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1367           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1368           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1384           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1385           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1397   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1414           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1415           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1431           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1432           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()
1444   Sizes.NumUniqueDeclarations = getUniqueDeclarationsTotalNumber(Declarations);  in Create()
1461           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in Create()
1462           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in Create()
1478           Sizes.NumVars, Sizes.NumUniqueDeclarations,  in CreateEmpty()
1479           Sizes.NumUniqueDeclarations + Sizes.NumComponentLists,  in CreateEmpty()