fix bug in predc where we were not checking whether the pform was
identical to the predicate in which case we don't want to call it.