Branch by Abstraction März 1, 2022