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