fix out-of-line structure predicates on obsolete standard-instances