cil compiles with the maude backend