fixes branching so that it fails correctly
adds sudoku example