Fixed bug where we were tranlating OR and AND to the bitwise equivalents instead of to the boolean operators