I am looking for a name to the constraint f(a,b) = f(a+b). Do you have any suggestions ? Thanks Javier