Improve #deterministically_verify helper
#2828
Merged
#deterministically_verify helper
#2828