Commit e8c9cd5c7a0d2ea95edf08b13af3baabce62dd63

Nick Wellnhofer 2019-09-16T15:36:02

Fix Schema determinism check of ##other namespaces Non-compound (##local) and compound string atoms are always disjoint regardless of whether the compound atom is negated (##other). Closes #40.