let compile = pred empty