Added functionality for finding calls of a predicate