Decrease Following Distance Definition Simple Predicate Finder