method private incr_assigns metrics =
    metrics := {!metrics with cassigns = succ !metrics.cassigns;}