Instruct Boogie to generate data dependence graph?

[alexthomasv]

Is there a way to generate the data dependence graph on the command line?

I know Houdini uses it:

boogie/Source/Houdini/AnnotationDependenceAnalyser.cs

Line 32 in 9a8ce8d

this.varDepAnalyser = new VariableDependenceAnalyser(prog, options);

But is there a way to do it the same way Boogie can generate the CFG?

Thank you.