Add behavioral tests to check whether methods are correct
Fixes #1090: GraphViz was unable to generate due to the global namespace

GraphViz does not, or no longer, accepts a single `\` as label. To
counteract this issue we have made a change the the `\` namespace is
now named `Global`.