Investigate heuristics for pointer caching

[Kukovec]

There are multiple heuristics we could use to decide if/when to cache expressions attached to ElemPtrs (to avoid introducing unnecessary SMT variables).

We should run different heuristics against a suitable set of benchmarks and proceed based on the findings there.