DOT generation from robdd seems ok now