Craig 2016 - ltlflynner