Added new predicates (and fixed a bug or two, I think.) (An unusual case
in which tests got ahead of the code...)
Authored by: dwarren 2018-01-27
Parent: [r9207]
Child: [r9209]
