When you are doing pattern matching, yes. At first, function evaluation was driven by unification as well, which makes it a latent bug. Now that I have switched to use pattern matching, this *might* not be a problem. But I would like to be safe.