platin: new, more efficient (x10 for nsichneu) implementation of the Fourier-Motzkin elimination based flow-fact transformation
platin: improve SWEET flowfact import