onepass_build

Builds the table for program (the forward one). ok is false in the result if the pattern is not one-pass or needs more than state_limit states.

onepass_build :: (program: *Program, state_limit: int) -> OnePass