feat: add verify for add_const

Closes #39

Merge request reports

Loading