Correct spelling:  BOOLOR_TOGGLE -> BOOL_OR_TOGGLE