Theoretical Analysis of git bisect (Lecture notes in computer science)