forgotten changes in Predef.gf for making CAPIT a built-in operation