Rudder

We introduced local override of node properties. But this is an override, and not a merge, as the semantic of merge is complex and non-deterministic (especially with literal), and prevent to remove keys

We hsould document how to merge properties, with local properties and generic method variable_dict_merge_tolerant