Approximatie + functions

[Broes De Cat]

If it is known that f(d)=d1, then approximation will still derive all atoms f(d)!=d2 for all d2 different from d1. This defies the purpose of attempting to not iterate over domains unless necessary.