Further improve debugging facilities
extended: fix PROPERTIES-OF: don't mix up static and dynamic ones