The invariant sdc-t1 is invalid - it has a `where()` expression that takes a coding type value as its parameter - it takes a boolean.

The where should be changed to an exists