Ensure we do not have duplicate names after inlining.
Ensure we do not have duplicate names after inlining.

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