run.t

  $ cfgDot foo.c

  $ graph-easy --as=boxart cfg.dot
                                                  ┌────────────────────┐
                                                  │        :-1         │
                                                  │ (synthetic: true)  │
                                                  └────────────────────┘
                                                    │
                                                    │ return
                                                    ▼
                                                  ┌────────────────────┐
                                                  │        :-1         │
                                                  │ (synthetic: true)  │
                                                  └────────────────────┘
                                                  ┌────────────────────┐
                                                  │   foo.c:1:0-8:1    │
                                                  │ (synthetic: false) │
                                                  └────────────────────┘
                                                    │
                                                    │ (body)
                                                    ▼
                                                  ┌────────────────────┐
                                                  │   foo.c:2:7-2:12   │
                                                  │ (synthetic: false) │
                                                  └────────────────────┘
                                                    │
                                                    │ a = 1
                                                    ▼
                                                  ┌────────────────────┐
                                                  │  foo.c:2:14-2:19   │
                                                  │ (synthetic: false) │
                                                  └────────────────────┘
                                                    │
                                                    │ b = 1
                                                    ▼
             ┌────────────────────┐               ┌────────────────────┐
             │   foo.c:7:3-7:11   │  Neg(a > 0)   │  foo.c:3:10-3:20   │
    ┌──────▶ │ (synthetic: false) │ ◀──────────── │ (synthetic: true)  │ ◀┐
    │        └────────────────────┘               └────────────────────┘  │
    │          │                                    │                     │
    │          │ return 0                           │ Pos(a > 0)          │
    │          ▼                                    ▼                     │
    │ Neg(b) ┌────────────────────┐               ┌────────────────────┐  │
    │        │   foo.c:1:0-8:1    │               │  foo.c:3:10-3:20   │  │
    │        │ (synthetic: false) │  ┌─────────── │ (synthetic: true)  │  │
    │        └────────────────────┘  │            └────────────────────┘  │
    │                                │              │                     │
    └────────────────────────────────┘              │ Pos(b)              │ b = b - 1
                                                    ▼                     │
                                                  ┌────────────────────┐  │
                                                  │   foo.c:4:5-4:8    │  │
                                                  │ (synthetic: false) │  │
                                                  └────────────────────┘  │
                                                    │                     │
                                                    │ a = a + 1           │
                                                    ▼                     │
                                                  ┌────────────────────┐  │
                                                  │   foo.c:5:5-5:8    │  │
                                                  │ (synthetic: false) │ ─┘
                                                  └────────────────────┘