Fix GEQ verifier