#16 (Sep 9, 2019, 3:24:37 PM)

1. whitespace changes to test on github (commit: 057c744) (details / githubweb)
2. remove duplicate test (commit: e045660) (details / githubweb)
3. Function names shortened. (commit: c176f8f) (details / githubweb)
4. More renaming. (commit: f656baa) (details / githubweb)
5. Dumb test for constructing linearization data. (commit: 4bb7d93) (details / githubweb)

GitHub pull request #41 of commit 4bb7d9320453c1b542076417d45cfb6a58c4cca7, no merge conflicts.