generalised more for compileIncr. Now finally core112 passes