add bindings only in the verilog backend and give different names to temporary nodes in the c backend
fix bfs & dfs