https://platoblockchain.com/plato-data/abstraqt-analysis-of-quantum-circuits-via-abstract-stabilizer-simulation/