Move backtracking tests into their own file