dia to sml: add initial logic to validator