I think I may finally have fully fixed the bipartite Courcelle thing. No
segfaults or other shennanigans anymore!