{
	"id": 2,
	"name": "simple_test_case",
	"description": "This test case contains a graph with client, firewall and server",
	"policy_url_parameters": "?type=reachability&source=user1&destination=webserver",
	"result": "SAT",
	"graph": {
	   "nodes":[
	      {
	         "name":"user1",
	         "functional_type":"endhost",
	         "neighbours":[
	            {
	               "name":"nat"
	            }
	         ],
	        "configuration": 
	            [
					{
						"body": "cartoon",
						"protocol": "HTTP_REQUEST",
						"destination": "webserver"
					}
	            ]
	      },
	      {
	         "name":"nat",
	         "functional_type":"nat",
	         "neighbours":[
	            {
	               "name":"dpi"
	            }
	         ],
	         "configuration":[
	            "user1"
	         ]
	      },
	      {
	         "name":"dpi",
	         "functional_type":"dpi",
	         "neighbours":[
	            {
	               "name":"webserver"
	            }
	         ],
	         "configuration":[
	           "sex", "droga"
	         ]
	      },
	      {
	         "name":"webserver",
	         "functional_type":"webserver",
	         "neighbours":[
	
	         ]
	      }
	   ]
	}
}