Using Node as visitor data type simplifies a lot :)