nl_tokens: Handle patterns with whitespace
pl_tokens: function splitWhitespace ( str ) { var segs = str . split ( ' ' ) ; var len = segs . length ; var res = [ ] ; var i = 0 ; while ( len -- ) { res . push . <mask> ( res , braces ( segs [ i ++ ] ) ) ; } return res ; }