Functions can have more than one candidate for differentiation.

For each candidate (top-level decl for differentiation) we need to create a diffplan.