Fix SynthesisEdge.apply JavaDoc for pred argument
It is currently:
* @param pred The predicate to which to apply the assignment in reverse. This predicate is {@link BDD#free freed}
* by this method.
But, it is not always applied in reverse, as it supports (for a long time) also forward application.