method private incr_slocs metrics =
    metrics := {!metrics with cslocs = succ !metrics.cslocs;}