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