Tidied up how we induce loop subgraphs and generate random loop bounds