anchor.diff:  
   		nodes.push(circle);
   
  -
  -		// TODO fix this
  -		if(res.decisionOrForkOrJoin[i].name != "fail"){
  +		// kill does not have ok and error
  +		if(res.decisionOrForkOrJoin[i].ok === undefined && res.decisionOrForkOrJoin[i].error === undefined){
  +			nodes2[res.decisionOrForkOrJoin[i].name] = {node: circle, to : []};
  +		}else{
   			nodes2[res.decisionOrForkOrJoin[i].name] = {node: circle, to : [ res.decisionOrForkOrJoin[i].ok.to, res.decisionOrForkOrJoin[i].error.to]};
   		}
  -
  -
   
   	}
   
  
positive.code: 	nodes.push(cEnd);
  	nodes2[res.end.name] = {node: cEnd, to:[] };
  
  //	var i = 0;
  //
  //	var current = node2["start"];
  //	while(i < 5){	
  //		current.
  //		current.joint(nodes[i + 1], fsa.arrow).registerForever(nodes);
  //
  //		i++;
  //	}
  
  	for(var i = 0; i < nodes.length - 1; i++){
  		nodes[i].joint(nodes[i + 1], fsa.arrow).registerForever(nodes);
  	}
  
  }
  
  $(function() {
  
negative.code:     });
  };
  
  var traverse_counter = 0;
  
  function drawDiagram(res){
  	Joint.paper("myfsa1", 500, 2000);
  	var fsa = Joint.dia.fsa;
  