Expand defs in normalization phase
Simple def expansion for default arguments