BAT_transfer.py

And(_value <= 0, 0 == _value)
And(0 == _value)
And(Not(msg.sender == _to), 0 == _value)
And(Not(msg.sender == _to),
    Not(_value <= 0),
    balances[msg.sender] >= _value)
And(Not(msg.sender == _to),
    0 == _value,
    balances[msg.sender] >= _value)
And(Not(msg.sender == _to),
    Not(_value <= 0),
    balances[msg.sender] >= _value)
And(_value <= 0,
    0 == _value,
    balances[msg.sender] >= _value)
And(0 == _value, balances[msg.sender] >= _value)
And(Not(msg.sender == _to),
    0 == _value,
    balances[msg.sender] >= _value)
And(Not(msg.sender == _to),
    Not(_value <= 0),
    balances[msg.sender] >= _value)
And(Not(msg.sender == _to),
    Not(_value <= 0),
    balances[msg.sender] >= _value)
And(0 == _value, Not(balances[msg.sender] >= _value))
And(Not(balances[msg.sender] >= _value), Not(_value <= 0))
And(Not(msg.sender == _to),
    Not(_value <= 0),
    balances[msg.sender] >= _value)
And(Not(balances[msg.sender] >= _value), Not(_value <= 0))
And(Not(msg.sender == _to),
    Not(_value <= 0),
    balances[msg.sender] >= _value)