Added 'switch-with-backtracking' test. Does not pass yet.