Symmetries in Boolean Scan