We are developing a tool that checks 
these types of constraints.

RoLex (Routing Lexer)