Add a flag to perform only variable ordering + ahamez/libsdd@f545c8b2b4 .