method
private
incr_funcs metrics =
metrics := {!metrics
with
cfuncs = succ !metrics.cfuncs;}