Class PreDeConCorePredicate.Instance