fix: forgot add the trim argument into the isa verifier declaration.