// demo PARALLEL_NON_DETERMINISTIC_MODE drivation mode

module A;
module B;
module C;
module D;

protected void init ()
[
	Axiom ==> A B C;
	{
		apply();
		println(graph().toXLString(false));
		run ();
	}
]

public void run ()
[
	{
		rggGraph().setDerivationMode(PARALLEL_NON_DETERMINISTIC_MODE);
	}
	A ==> B;
	A B ==> C;
	B ==> D;
	C ==> D;
	{
		apply();
		println(graph().toXLString(false));
	}
]