One precision regarding my previous e-mail: in the test case I provided, I forgot to do a first propagation before executing a second propagation that gives the reference run time (to avoid "cache" effects).
It does not change the problem: it's only to get correct automatic checks with JUnit.