Remove experiments with a flawed backtrack algorithm

The first version of the backtracking algorithm incorrectly called
the Z3 expression API. To see this, consider the code that checks
whether the expression is is_const() which exposes the bug.