Yeah the biggest limitation here is this will not catch cases where a route is 6 or more lanes on both approaches to an interchange, but does not maintain 6 thru lanes through it. A situation which is fairly common, so this is a nontrivial limitation.
Still, an interesting use of the project. I can dig it.