method private incr_dpoints metrics =
    metrics := {!metrics with cdecision_points = succ !metrics.cdecision_points;}