Remove todo statement
Backpedal in place of backtrace
Stringify to x/x notation to help debugging
Added GateValue argument to justify to handle splitting fanout