diff --git a/tst/quickcheck-norm2.tst b/tst/quickcheck-norm2.tst
new file mode 100644
index 0000000..bb3b048
--- /dev/null
+++ b/tst/quickcheck-norm2.tst
@@ -0,0 +1,16 @@
+gap> LoadPackage("quickcheck", false);;
+gap> LoadPackage("graphbacktracking", false);;
+gap> lmp := {l...} -> Maximum(1,Maximum(List(l, LargestMovedPoint)));;
+gap> QC_Check([IsPermGroup, IsPermGroup], 
+> function(g1,g2)
+>   local norm1, norm2, m;
+>   m := lmp(g1,g2);
+>   norm1 := Normaliser(g1, g2);
+>   norm2 := GB_SimpleSearch(PartitionStack(m),
+>          [BTKit_Con.InGroup(m,g1), GB_Con.NormaliserSimple2(m,g2)]);
+>  if norm1 <> norm2 then
+>    return StringFormatted("Expected {}, got {}, from {},{}",norm1,norm2,g1,g2);
+>  fi;
+>  return true;
+> end);
+true
\ No newline at end of file