====== SEQUENTIAL_MODE ======

In this mode one rule application is performed in a single  step.  If several applications are possible, only the first one is chosen.
One rule application means replacing one match.


======  ======

Assuming a rule ''A %%==>%% B'' is applied on an axiom ''A A'' in sequential_mode the result after the first step would be ''B A'' and after the second step ''B B''