Parece OK no geral.

O comando {for i in range(1, n)} deveria ser {range(1,n-1)} pois o
código testa tanto {val[i-1]} quanto {val[i+1]}.  Felizmente
os testes anteriores garantem que nem {val[0]} nem
{val[n-1]} são [-'. ].

Relatório: OK como acima.