fixed bug with tuple-elimination