Prof. Feng Hao of Warwick University has a bottom-up method for checking CLIs that could be much cheaper than the US approach.