Adds two hook methods to `analysis.Frame`, called by `Analyzer.analyze`.
These methods are called on the temporary `currentFrame` before it is
merged with the existing frame at the branch target.

Overriding these methods allows implementing branch-sensitive analyses,
for example for nullness.