Non è quello l'errore... Ritorna 0 o 1 a seconda della valutazione dell'espressione...
P.S. Credo di averlo trovato ed il return diventa
return inf<=sup && V[inf]==a