HOPKINS: Start refactoring VERIF_SMOOTH