Preliminary version of abstraction for dynamic incremental predicates.
Authored by: tswift 2014-01-21
Parent: [r7873]
Child: [r7875]
