feat: grind proof parameters whose type is not a forall (#11326)

feat: grind proof parameters whose type is not a forall (#11326) #6415