method
private
incr_gotos metrics =
metrics := {!metrics
with
cgotos = succ !metrics.cgotos;}