[safety-maintenance] Automatic set using listeners
Following tasks needs to be implemented using listeners (the last 2 tasks from issue #3976 are continued here) :
- undeveloped: set and unset automatically
- instantiated: all elements are initially marked as uninstantiated.
———- Automatic set of is uninstantiated if the claim contains “{*}”
(from redmine: issue id 3979, created on 2020-03-29)