This is probably an attempt by Colva Roney-Dougal to port an implementation of
Mark Stather (a PhD Student of Derek Holt) for computing sylow subgroups of
matrix groups. That may have needed "normal trees" and chief series. The main
file might be `NSM.g`?
