* src/kernel.c: The initialization code of the BDD cache was
awfully slow due to multiple references to global variables.