anchor.diff:  )
   {
   	$type = new BMPString_Type();
  -	$type.setLocation(new Location(actualFile, $start, $start));
  +	$type.setLocation(getLocation($start, $start));
   };
   
   pr_GraphicString returns [GraphicString_Type type]
  
positive.code: )
  {
  	$object = new Object_Definition( new Block($block) );
  	$object.setLocation(new Location(actualFile, $block, $block));
  };
  
  pr_BuiltinValue_reg returns[Value value]
  
negative.code: {
  	if ($values != null) {
  		$value = new SequenceOf_Value($values);
  		$value.setLocation(getLocation($a.start, $a.stop));
  	}
  };
  
  