constant folding for && and ||