Optimize variable memory usage

Only allocate space for occlists and equivalent literal pointers
while those data structures are used.