Correctly print edges in dot backend
Correctly print edges in dot backend

The bug was introduced when reversing the direction of edge arrow,
unfortunatley the "node <- node" syntax overlaps with the html label
syntax.

Gbury/mSAT