then_branch_backtracks(a).
then_branch_backtracks(b).
else_branch_backtracks(a).
else_branch_backtracks(b).
cond_commits_to_first_solution(1).