The Importance of CSR in Static Analysis

The basic assert not enough then well what else does the four contracts facility give us all what should it give us so there are a few big gaps between CSR and not CSR. We're trying to get something similar in the language is customizable violation handling like CSR you either it's off and does nothing or it's on and you get an abort that tells you what went wrong. I think those are the sort of two big gaps that need language support to do itlike having that central having all contract checks go through a central violation handling mechanism for your programs.