CURRENT BUG: broken backtracking after mid-subexp exit