Staccatissimo-Restrictions-Instrument is an instrumentation tool build on top of Staccatissimo-Restrictions, Staccatissimo-Check and Staccatissimo-Instrument. It is capable of inserting preconditions and postconditions checks for most of check restrictions annotations, and of ensuring that Constant methods effectively are.