…only be used with crab-llvm branch array_graph. This branch should be removed at some point. Kept for now just in case.