New correct outputs after changes in importing and other psc flags
causes predicate_property to give newer (and hopefully more reasonable) output for new "unknown" predicates.
Authored by: dwarren 2016-12-22
Parent: [r8903]
Child: [r8905]