1) Redundant checks are removed;
2) More strict checks are used.