Bug reason binary search

[Konard]

There is limited number of lines in code.
Half of these lines can be commented, and if the problem persists we are in the half of the code there the problem is situated.
If we don't have problem but code compiles and runs - we are in the half of the code without the problem.
This algorithm is recursive and can be fully automated.
This will give an ability to find bugs in semi automated way.
This will also require the full AST of the code, to make safe changes.