Fix switch assumptions example after making linear assumptions undone in backtracking