Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses