Add missing BOOLEAN constraint to continuous assignment when clause