Yes, tests fixed, simple_cx works, wtf false_branch

Author: acl-cqc

tket-qsystem/tests/guppy_opt.rs

@@ -107,10 +107,14 @@ fn no_optimise_guppy<'a>(
 #[rstest]
 #[case::false_branch(guppy_false_branch(), [
     ("tket.quantum.H", 2), ("tket.quantum.QAlloc", 1), ("tket.quantum.MeasureFree", 1)
-], [])] // No after: panics anyway
+], [
+    ("TKET1.tk1op", 1), ("tket.quantum.QAlloc", 1), ("tket.quantum.H", 1), ("tket.quantum.MeasureFree", 1)
+])]
 #[case::simple_cx(guppy_simple_cx(), [
     ("tket.quantum.QAlloc", 2), ("tket.quantum.CX", 2), ("tket.quantum.MeasureFree", 2)
-], [])] // No after: panics anyway
+], [
+    ("tket.quantum.MeasureFree", 2), ("tket.quantum.QAlloc", 2)
+])]
 fn optimise_guppy<'a>(
     #[case] mut hugr: Hugr,
     #[case] before: impl IntoIterator<Item = (&'a str, usize)>,