[11-02-13] Removed redundant verifications in inconsistent effs and pres.