I don't think it needs to be, if tau is None, then it will just pass None as the second argument in Normal.dist which is tau. Maybe I don't understand what you mean.