GHZ State - Cirq Typing CST Test