Improve #deterministically_verify
helper
#2828
+9
−10
Merged