Issue #113: naming checks were migrated
Issue #113: design checks were migrated