Know Your Branch By Abstraction