fork and backtrack on branch