Add Boolean Switching Annotations