Tighten SuppressWarnings Annotations and Added Error Checks

Fixed: SuppressWarnings annotations are now set more tightly. Moreover, after a line with such an annotation, there is always a check for the correctness of the operation above.