The cranberry statement is a module of cranberry library (see cranberry). This module provides an api for statements validation (such as not null and e.t.c.). This module includes an annotations for the injecting methods of this api into code during compilation.