Optimize the SPPF further, with statically available information

[eddyb]

If we know the length of a terminal, e.g. the "and" in X "and" Y, then we can rely on that to make X "and" not record its split in the SPPF, and instead assume it's 3 from the end of its range.