method
private
incr_assigns metrics =
metrics := {!metrics
with
cassigns = succ !metrics.cassigns;}