let
simple_node_id s = node_id (
Simple_id
s)