A CFEngine profiler