Fixed unification in definition expansion