Commented out raise-propn-families (predecessor of list-propn-families).