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