CIF/BDD: cache collection via algebraic variable in variable and comparison collectors of hyper-edge creators

After #1187 (closed) and #1233 (closed), there are more places where it can be blow up exponentially.