Added invariants for operator properties.