remove should-not-clear behaviour from annotate-branch, move into clear-locals.
don't clear case bindings