normalization and conversion to SKI refactored as visitors