nl_tokens: Flattens a nested disjunction node to a list .
pl_tokens: function disjunctionToList ( node ) { if ( <mask> . type !== 'Disjunction' ) { throw new TypeError ( ` ${ node . type } ` ) ; } const list = [ ] ; if ( node . left && node . left . type === 'Disjunction' ) { list . push ( ... disjunctionToList ( node . left ) , node . right ) ; } else { list . push ( node . left , node . right ) ; } return list ; }