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

def is_incr(self, idx):

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