Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
If set to true
then the check regarding if-then-else branches is performed.
Used to override what happens for problematic locations. By default just prints an error message on stderr.