LTL expansion