Declare ComplementAttr as an attribute.

We would like to declare Complement as an attribute,
but the CRISP package uses it as an operation.