'Is the composition non-increasing in argument idx?'

def is_decr(self, idx):

    if (self.p <= 0):
        return True
    elif (self.p > 1):
        if is_power2(self.p):
            return self.args[idx].is_negative()
        else:
            return False
    else:
        return False
