Forward propagation strategy : Accept optionnal arguments

Currently the strategy looks for all ufloat terms in the goal to perform forward error propagation. This can be wasteful as we might only want to perform it on one term. Therefore the strategy could take an optionnal list of terms for which it would perform error propagation. If no argument is given, then the current behavior would occur.