Minor refactor to DisjointModule and a change in logic for
NLPToStringModule - it now uses prettyString-Canonical directly before
using child assertions