A predicate should not be a singleton.
Implemented graph search.