Open graphs: pretty printer to dotty + vertical composition