Automatic generation of model traversals from metamodel definitions