method private incr_loops metrics =
    metrics := {!metrics with cloops = succ !metrics.cloops;}