fix: bug in markNestedProofs
within grind
#6500
Merged
markNestedProofs
within grind
#6500