Added a unit-test and turned off tuple elimination (keeping only tuple lambda erasion).