djbpitt
commented
11 months ago - [x] Create trait to render witnesses as sorted list in dot
- [ ] Add unexpanded nodes on second pass
- [ ] Deal with unexpanded nodes for which we are unable to create a traversal
- [ ] Make expansion of unexpanded nodes recursive
- [ ] Fix layout of alignment table