Reports incorrect variable and constant declarations. Checks declarations for assignment count mismatch, extra expressions, expressions did't return value or returned multiple values in single value context.