DFS replacement of a node and it's subtree replaced is used to discontinue the DFS after replacement replace_me gets triggered when pos == 0 and informs the parent node to replace the respective child node
(pos *int, e Expr)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected