Hi, The module compiler/transform.m is mostly NYI and the one predicate it does contain isn't called from anywhere; are we keeping this module around for some particularl purpose? Julien.