Olá pessoal! Em muitos casos, ao ler uma string você pode encontrar alguns problemas, por exemplo, seu programa pode pular a leitura da string seguinte. Nesses casos é necessário utilizar o SETBUF para limpar o buffer do teclado. Lembrando, não é recomendado o uso de FFLUSH. Será mais explicado na aula abaixo.
M. Bobaru, C. Pasareanu, and D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, page 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)