Swap TLOS to QBE on Telos