Since tensor.or_ and tensor.and_ are bitwise operations
(for non-booleans at least), some "logical" simplifications are wrong.