Corrected definition of unateness
Fixed Shannon decomposition function