testing: added Lts::grapvizOutput() tests