'+' should not terminate the prog section (splitter.mll).
But why so ?
Merge branch 'C' of github.com:herd/herdtools into C