Checagem semantica do while