add another alternative
add another example that illustrates that name-fixing may lead to invalid programs with free variabels