Add LTL compilation script.