3979

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 "{*}"