The system does not satisfy the preconditions to apply static dependency pairs: it is not accessible function passing.