Bug fix #14: Messages attached to a model elements refreshed after a static check