simplify conditional (2)

[edwindj]

the following conditional is not simplified

if (x > 0 & x > 1) y > 0

but can be simplified into

if (x > 0) y > 0