Override this method in the model produced by synth.buildModel() to revise mutated values if the mutator sets them to invalid things.
(String key, int old, int current)
source not stored for this graph (policy: none)
no test coverage detected