Avoid generating duplicated Func instances of the same instance

[arbimo]

Currently, IntCSP.translate would create a new Func, with new propagators at each invocation.
We could cache the generated function.