Documented the function is_iequivalent and removed debug statements