We now have enough of vidarify to handle the no-assert example
We now have enough of vidarify to handle the no-assert example

HIPERFIT/futhark,HIPERFIT/futhark,CulpaBS/wbBach,mrakgr/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,mrakgr/futhark,ihc/futhark,HIPERFIT/futhark,mrakgr/futhark,ihc/futhark,diku-dk/futhark,ihc/futhark,diku-dk/futhark