fn node(def_id: DefId, block: BasicBlock) -> String