method
private
incr_exits metrics =
metrics := {!metrics
with
cexits = succ !metrics.cexits;}