sbool set_trueIfChanged(O o, S field, O value) { if (eq(get(o, field), value)) false; set(o, field, value); true; } static bool set_trueIfChanged(IVar v, A value) { ret setVar_trueIfChanged(v, value); }