pub fn nodes_in(f: &Body) -> Vec<NodeId>
Every node a written form names, in written order, so a caller answers each one.