Comment by Savely

We need another tool that would optimise permutation of statements for least overlap in the resulting diagram.