Map#mapValues is lazy; use map instead
Map#mapValues is lazy; use map instead

Mapping lazily with side-effects is a terrible idea.

larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle