Big Tis Compilation Extended Version