extract symbolic branch strategy