Re: Super Lint

[Al]

> Exactly. And don't forget the possibility to add more rules from pseudo  
> comments; it's often easier to prove something with stronger rules than  
> with those that can easily determined by looking at the source.
> 
> Oh, maybe even assertions of the type "if the input to this construct is  
> X, then the output will be Y". Sometimes, this stuff just is not provable  
> without outside knowledge.
> 

Would it be a good idea to use an "assert" like define to not only provide
protection while running but also to allow the static testing this tool
could provide?