Modified the TerminalSequence construction from strings/numbers (vs. tree): now it resizes preterminal vectors upon initialization so that accessing preterminals at decoding time will not throw seg fault