Issue #164 - migrating and adding a verification condition