method
private
incr_slocs metrics =
metrics := {!metrics
with
cslocs = succ !metrics.cslocs;}