Looking at the patch, you just add

-dress

when calling ABC and then call a yosys pass named

autoname

... you can give that a shot.