This was a mistake.
This was a mistake.

Revert "Be more liberal when segmenting."

This reverts commit 79cd845fbb4858834fb2458711f44348d6929684.

HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,ihc/futhark,HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,ihc/futhark,ihc/futhark