GHZ State Circuit - Qiskit Typing CST Test