let
inc_filtered_by_productivity (statistic: statistic) : unit =
inc statistic
ID_PRODUCTIVITY