anchor.diff:  	var cEnd = fsa.State.create({ position: {x: 200, y: yPos}, label: "End" });
   	allNodes.push(cEnd);
   	nodes2[res.end.name] = {node: cEnd, to:[] };
  +	indexedNodes[res.end.name] = { to : [] };
  +
  +	// var sortOrder = 1;
  +	var currentKey = "start"; ;
  +	// indexedNodes[currentKey].sortOrder = sortOrder;
  +	addSortOrder(currentKey, 0);
  +//	while(true){
  +//		traverse_counter++;
  +//		if(traverse_counter > 100){
  +//			break;
  +//		}
  +//
  +//	}
  +
  +
   
   	for(var prop in nodes2){	
   		var current = nodes2[prop];
  
positive.code: };
  
  var traverse_counter = 0;
  
  function drawDiagram(res){
  	Joint.paper("myfsa1", 500, 2000);
  
negative.code: 	});
  	allNodes.push(cStart);
  	nodes2["start"] = { node: cStart, to : [ res.start.to] };
  	indexedNodes["start"] = { to : [ res.start.to] };
  
  	for(var i = 0; i < res.decisionOrForkOrJoin.length; i++){
  		yPos += 100;
  