Fix rare issue where query requires 1 more fuel unit in batch mode than in interactive mode
Fix rare issue where query requires 1 more fuel unit in batch mode than in interactive mode

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star