CIF data-based synthesis statistics documentation has various issues related to BDD caching statistics

Examples:

• Node creation doesn't use a cache.
• Operations are not only for binary expressions.
• ...