Translator no longer adding redundant lambda abstractions
Now showing SEC pairs