Legacy vs. Horizon - ltlflynner