Modified unfolding rule to gracefully handle case when there is a mismatch in number of parameters between predicate definition and use case.