Change argument in lambda substitute if it is free variable in the new term