The diagram before and after beautify has not got the same semantic meaning.
Example: between instances router and client2 there are 3 "http" messages and two of them are crossed. After beautify there is no crossing among "http" messages.
Fixed by adding precondition check whether a diagram is cyclic or not. It is not possible to transform cyclic diagrams now.