SynthesisToCifConverter uses an unnecessarily large list for storing algebraic variables for 'node' BDD output mode

It allocates a list that is equal to the number of BDD variables, while only 'old' variables get an algebraic variable. The list is thus twice the size it needs to be, which unnecessarily uses too much memory.