system Case1
{

	
record  Comp{ 
CompT    IsInOf_CompT_outgo;
Port[]    Owns_Port_outgo;
ServDesp[]    Knows_ServDesp_outgo;
}

record  Serv{ 
ServT    IsInOf_ServT_outgo;
Port[]    Owns_Port_outgo;
ServDesp[]    Knows_ServDesp_outgo;
}

record  DicServ{ 
DicServT    IsInOf_DicServT_outgo;
Port[]    Owns_Port_outgo;
ServDesp[]    Knows_ServDesp_outgo;
}

record  CompT{ 
PortT[]    Supports_PortT_outgo;
ProvPT[]    Supports_ProvPT_outgo;
ReqPT[]    Supports_ReqPT_outgo;
}

record  ServT{ 
PortT[]    Supports_PortT_outgo;
ProvPT    Supports_ProvPT_outgo;
ReqPT    Supports_ReqPT_outgo;
}

record  DicServT{ 
FindPT    Supports_FindPT_outgo;
PubPT    Supports_PubPT_outgo;
}

record  Oper{ 
}

record  Inter{ 
Oper    Defines_Oper_outgo;
}

record  Port{ 
boolean   isactive;
boolean  used;
PortT    IsInOf_PortT_outgo;
FindPT    IsInOf_FindPT_outgo;
ProvPT    IsInOf_ProvPT_outgo;
PubPT    IsInOf_PubPT_outgo;
ReqPT    IsInOf_ReqPT_outgo;
QRes    Sends_QRes_outgo;
ServQ    Sends_ServQ_outgo;
ServPub    Sends_ServPub_outgo;
Resp    Sends_Resp_outgo;
Req    Sends_Req_outgo;
QRes    Requires_QRes_outgo;
ServQ    Requires_ServQ_outgo;
ServPub    Requires_ServPub_outgo;
Resp    Requires_Resp_outgo;
Req    Requires_Req_outgo;
}

record  PortT{ 
Inter    Provides_Inter_outgo;
Inter    Requires_Inter_outgo;
}

record  Con{ 
boolean   isactive;
Port[]    Connects_Port_outgo;
ConT    IsInOf_ConT_outgo;
}

record  ConT{ 
PortT[]    Allows_PortT_outgo;
FindPT[]    Allows_FindPT_outgo;
ProvPT[]    Allows_ProvPT_outgo;
PubPT[]    Allows_PubPT_outgo;
ReqPT[]    Allows_ReqPT_outgo;
}

record  ProvPT{ 
Inter    Provides_Inter_outgo;
Inter    Requires_Inter_outgo;
}

record  PubPT{ 
Inter    Provides_Inter_outgo;
Inter    Requires_Inter_outgo;
}

record  FindPT{ 
Inter    Provides_Inter_outgo;
Inter    Requires_Inter_outgo;
}

record  ReqPT{ 
Inter    Provides_Inter_outgo;
Inter    Requires_Inter_outgo;
}

record  Req{ 
boolean isactive;
Con    SentVia_Con_outgo;
Oper    Calls_Oper_outgo;
}

record  ServDesp{ 
ServQ    Satify_ServQ_outgo;
Serv    Describe_Serv_outgo;
DicServ    Describe_DicServ_outgo;
}

record  ServPub{ 
boolean isactive;
ServDesp    Publishes_ServDesp_outgo;
Con    SentVia_Con_outgo;
}

record  Resp{
boolean isactive; 
Req    RespTo_Req_outgo;
Con    SentVia_Con_outgo;
}

record  ServQ{ 
boolean isactive;
Con    SentVia_Con_outgo;
PortT    ReSerFor_PortT_outgo;
ReqPT    ReSerFor_ReqPT_outgo;
PubPT    ReSerFor_PubPT_outgo;
ProvPT    ReSerFor_ProvPT_outgo;
FindPT    ReSerFor_FindPT_outgo;
}

record  QRes{ 
boolean isactive;
ServDesp    Contains_ServDesp_outgo;
ServQ    ResultOf_ServQ_outgo;
Con    SentVia_Con_outgo;
}

record  Graph{
Comp[]  Comps;
Serv[]  Servs;
DicServ[]  DicServs;
CompT[]  CompTs;
ServT[]  ServTs;
DicServT[]  DicServTs;
Oper[]  Opers;
Inter[]  Inters;
Port[]  Ports;
PortT[]  PortTs;
Con[]  Cons;
ConT[]  ConTs;
ProvPT[]  ProvPTs;
PubPT[]  PubPTs;
FindPT[]  FindPTs;
ReqPT[]  ReqPTs;
Req[]  Reqs;
ServDesp[]  ServDesps;
ServPub[]  ServPubs;
Resp[]  Resps;
ServQ[]  ServQs;
QRes[]  QRess;
}
Graph  instance;
	
	
main  thread MAIN(){
   loc  loc0:
       do{
           instance:=new  Graph;
           instance.Comps:=new Comp[1];
           instance.Servs:=new Serv[3];
           instance.DicServs:=new DicServ[1];
           instance.CompTs:=new CompT[1];
           instance.ServTs:=new ServT[3];
           instance.DicServTs:=new DicServT[1];
           instance.Opers:=new Oper[3];
           instance.Inters:=new Inter[3];
           instance.Ports:=new Port[13];
           instance.PortTs:=new PortT[6];
           instance.Cons:=new Con[8];
           instance.ConTs:=new ConT[5];
           instance.ProvPTs:=new ProvPT[1];
           instance.PubPTs:=new PubPT[1];
           instance.FindPTs:=new FindPT[1];
           instance.ReqPTs:=new ReqPT[1];
           instance.Reqs:=new Req[3];
           instance.ServDesps:=new ServDesp[4];
           instance.ServPubs:=new ServPub[1];
           instance.Resps:=new Resp[3];
           instance.ServQs:=new ServQ[1];
           instance.QRess:=new QRes[1];
           instance.Comps[0]:=new Comp;
           instance.Servs[0]:=new Serv;
           instance.Servs[1]:=new Serv;
           instance.Servs[2]:=new Serv;
           instance.DicServs[0]:=new DicServ;
           instance.CompTs[0]:=new CompT;
           instance.ServTs[0]:=new ServT;
           instance.ServTs[1]:=new ServT;
           instance.ServTs[2]:=new ServT;
           instance.DicServTs[0]:=new DicServT;
           instance.Opers[0]:=new Oper;
           instance.Opers[1]:=new Oper;
           instance.Opers[2]:=new Oper;
           instance.Inters[0]:=new Inter;
           instance.Inters[1]:=new Inter;
           instance.Inters[2]:=new Inter;
           instance.Ports[0]:=new Port;
           instance.Ports[1]:=new Port;
           instance.Ports[2]:=new Port;
           instance.Ports[3]:=new Port;
           instance.Ports[4]:=new Port;
           instance.Ports[5]:=new Port;
           instance.Ports[6]:=new Port;
           instance.Ports[7]:=new Port;
           instance.Ports[8]:=new Port;
           instance.Ports[9]:=new Port;
           instance.Ports[10]:=new Port;
           instance.Ports[11]:=new Port;
           instance.Ports[12]:=new Port;
           instance.PortTs[0]:=new PortT;
           instance.PortTs[1]:=new PortT;
           instance.PortTs[2]:=new PortT;
           instance.PortTs[3]:=new PortT;
           instance.PortTs[4]:=new PortT;
           instance.PortTs[5]:=new PortT;
           instance.Cons[0]:=new Con;
           instance.Cons[1]:=new Con;
           instance.Cons[2]:=new Con;
           instance.Cons[3]:=new Con;
           instance.Cons[4]:=new Con;
           instance.Cons[5]:=new Con;
           instance.Cons[6]:=new Con;
           instance.Cons[7]:=new Con;
           instance.ConTs[0]:=new ConT;
           instance.ConTs[1]:=new ConT;
           instance.ConTs[2]:=new ConT;
           instance.ConTs[3]:=new ConT;
           instance.ConTs[4]:=new ConT;
           instance.ProvPTs[0]:=new ProvPT;
           instance.PubPTs[0]:=new PubPT;
           instance.FindPTs[0]:=new FindPT;
           instance.ReqPTs[0]:=new ReqPT;
           instance.ServDesps[0]:=new ServDesp;
           instance.ServDesps[1]:=new ServDesp;
           instance.ServDesps[2]:=new ServDesp;
           instance.ServDesps[3]:=new ServDesp;
           instance.ServPubs[0]:=new ServPub;
           instance.ServQs[0]:=new ServQ;
           instance.QRess[0]:=new QRes;
           instance.Reqs[0]:=new Req;
           instance.Reqs[1]:=new Req;
           instance.Reqs[2]:=new Req;
           instance.Resps[0]:=new Resp;
           instance.Resps[1]:=new Resp;
           instance.Resps[2]:=new Resp;
           instance.Ports[0].isactive:=false;
           instance.Ports[1].isactive:=false;
           instance.Ports[2].isactive:=false;
           instance.Ports[3].isactive:=false;
           instance.Ports[4].isactive:=false;
           instance.Ports[5].isactive:=false;
           instance.Ports[6].isactive:=false;
           instance.Ports[7].isactive:=false;
           instance.Ports[8].isactive:=false;
           instance.Ports[9].isactive:=false;
           instance.Ports[10].isactive:=false;
           instance.Ports[11].isactive:=false;
           instance.Ports[12].isactive:=false;
           instance.Cons[0].isactive:=false;
           instance.Cons[1].isactive:=false;
           instance.Cons[2].isactive:=false;
           instance.Cons[3].isactive:=false;
           instance.Cons[4].isactive:=false;
           instance.Cons[5].isactive:=false;
           instance.Cons[6].isactive:=false;
           instance.Cons[7].isactive:=false;
           instance.ServPubs[0].isactive:=false;
           instance.ServQs[0].isactive:=false;
           instance.QRess[0].isactive:=false;
           instance.Reqs[0].isactive:=false;
           instance.Reqs[1].isactive:=false;
           instance.Reqs[2].isactive:=false;
           instance.Resps[0].isactive:=false;
           instance.Resps[1].isactive:=false;
           instance.Resps[2].isactive:=false;
           instance.Comps[0].Knows_ServDesp_outgo:=new ServDesp[4];
           instance.Comps[0].Knows_ServDesp_outgo[0]:=null;
           instance.Comps[0].Knows_ServDesp_outgo[1]:=null;
           instance.Comps[0].Knows_ServDesp_outgo[2]:=null;
           instance.Comps[0].Knows_ServDesp_outgo[3]:=null;
           instance.Comps[0].Owns_Port_outgo:=new Port[3];
           instance.Comps[0].Owns_Port_outgo[0]:=null;
           instance.Comps[0].Owns_Port_outgo[1]:=null;
           instance.Comps[0].Owns_Port_outgo[2]:=null;
           instance.Servs[0].Knows_ServDesp_outgo:=new ServDesp[4];
           instance.Servs[0].Knows_ServDesp_outgo[0]:=null;
           instance.Servs[0].Knows_ServDesp_outgo[1]:=null;
           instance.Servs[0].Knows_ServDesp_outgo[2]:=null;
           instance.Servs[0].Knows_ServDesp_outgo[3]:=null;
           instance.Servs[0].Owns_Port_outgo:=new Port[2];
           instance.Servs[0].Owns_Port_outgo[0]:=null;
           instance.Servs[0].Owns_Port_outgo[1]:=null;
           instance.Servs[1].Knows_ServDesp_outgo:=new ServDesp[4];
           instance.Servs[1].Knows_ServDesp_outgo[0]:=null;
           instance.Servs[1].Knows_ServDesp_outgo[1]:=null;
           instance.Servs[1].Knows_ServDesp_outgo[2]:=null;
           instance.Servs[1].Knows_ServDesp_outgo[3]:=null;
           instance.Servs[1].Owns_Port_outgo:=new Port[4];
           instance.Servs[1].Owns_Port_outgo[0]:=null;
           instance.Servs[1].Owns_Port_outgo[1]:=null;
           instance.Servs[1].Owns_Port_outgo[2]:=null;
           instance.Servs[1].Owns_Port_outgo[3]:=null;
           instance.Servs[2].Knows_ServDesp_outgo:=new ServDesp[4];
           instance.Servs[2].Knows_ServDesp_outgo[0]:=null;
           instance.Servs[2].Knows_ServDesp_outgo[1]:=null;
           instance.Servs[2].Knows_ServDesp_outgo[2]:=null;
           instance.Servs[2].Knows_ServDesp_outgo[3]:=null;
           instance.Servs[2].Owns_Port_outgo:=new Port[2];
           instance.Servs[2].Owns_Port_outgo[0]:=null;
           instance.Servs[2].Owns_Port_outgo[1]:=null;
           instance.DicServs[0].Owns_Port_outgo:=new Port[2];
           instance.DicServs[0].Owns_Port_outgo[0]:=null;
           instance.DicServs[0].Owns_Port_outgo[1]:=null;
           instance.DicServs[0].Knows_ServDesp_outgo:=new ServDesp[4];
           instance.DicServs[0].Knows_ServDesp_outgo[0]:=null;
           instance.DicServs[0].Knows_ServDesp_outgo[1]:=null;
           instance.DicServs[0].Knows_ServDesp_outgo[2]:=null;
           instance.DicServs[0].Knows_ServDesp_outgo[3]:=null;
           instance.CompTs[0].Supports_PortT_outgo:=new PortT[2];
           instance.CompTs[0].Supports_PortT_outgo[0]:=null;
           instance.CompTs[0].Supports_PortT_outgo[1]:=null;
           instance.CompTs[0].Supports_ReqPT_outgo:=new ReqPT[1];
           instance.CompTs[0].Supports_ReqPT_outgo[0]:=null;
           instance.ServTs[0].Supports_PortT_outgo:=new PortT[1];
           instance.ServTs[0].Supports_PortT_outgo[0]:=null;
           instance.ServTs[0].Supports_ProvPT_outgo:=null;
           instance.ServTs[1].Supports_PortT_outgo:=new PortT[2];
           instance.ServTs[1].Supports_PortT_outgo[0]:=null;
           instance.ServTs[1].Supports_PortT_outgo[1]:=null;
           instance.ServTs[1].Supports_ProvPT_outgo:=null;
           instance.ServTs[1].Supports_ReqPT_outgo:=null;
           instance.ServTs[2].Supports_PortT_outgo:=new PortT[1];
           instance.ServTs[2].Supports_PortT_outgo[0]:=null;
           instance.ServTs[2].Supports_ProvPT_outgo:=null;
           instance.DicServTs[0].Supports_PubPT_outgo:=null;
           instance.DicServTs[0].Supports_FindPT_outgo:=null;
           instance.Cons[0].Connects_Port_outgo:=new Port[2];
           instance.Cons[0].Connects_Port_outgo[0]:=null;
           instance.Cons[0].Connects_Port_outgo[1]:=null;
           instance.Cons[1].Connects_Port_outgo:=new Port[2];
           instance.Cons[1].Connects_Port_outgo[0]:=null;
           instance.Cons[1].Connects_Port_outgo[1]:=null;
           instance.Cons[2].Connects_Port_outgo:=new Port[2];
           instance.Cons[2].Connects_Port_outgo[0]:=null;
           instance.Cons[2].Connects_Port_outgo[1]:=null;
           instance.Cons[3].Connects_Port_outgo:=new Port[2];
           instance.Cons[3].Connects_Port_outgo[0]:=null;
           instance.Cons[3].Connects_Port_outgo[1]:=null;
           instance.Cons[4].Connects_Port_outgo:=new Port[2];
           instance.Cons[4].Connects_Port_outgo[0]:=null;
           instance.Cons[4].Connects_Port_outgo[1]:=null;
           instance.Cons[5].Connects_Port_outgo:=new Port[2];
           instance.Cons[5].Connects_Port_outgo[0]:=null;
           instance.Cons[5].Connects_Port_outgo[1]:=null;
           instance.Cons[6].Connects_Port_outgo:=new Port[2];
           instance.Cons[6].Connects_Port_outgo[0]:=null;
           instance.Cons[6].Connects_Port_outgo[1]:=null;
           instance.Cons[7].Connects_Port_outgo:=new Port[2];
           instance.Cons[7].Connects_Port_outgo[0]:=null;
           instance.Cons[7].Connects_Port_outgo[1]:=null;
           instance.ConTs[0].Allows_PortT_outgo:=new PortT[2];
           instance.ConTs[0].Allows_PortT_outgo[0]:=null;
           instance.ConTs[0].Allows_PortT_outgo[1]:=null;
           instance.ConTs[1].Allows_PortT_outgo:=new PortT[2];
           instance.ConTs[1].Allows_PortT_outgo[0]:=null;
           instance.ConTs[1].Allows_PortT_outgo[1]:=null;
           instance.ConTs[2].Allows_PortT_outgo:=new PortT[2];
           instance.ConTs[2].Allows_PortT_outgo[0]:=null;
           instance.ConTs[2].Allows_PortT_outgo[1]:=null;
           instance.ConTs[3].Allows_PubPT_outgo:=new PubPT[1];
           instance.ConTs[3].Allows_PubPT_outgo[0]:=null;
           instance.ConTs[3].Allows_ProvPT_outgo:=new ProvPT[1];
           instance.ConTs[3].Allows_ProvPT_outgo[0]:=null;
           instance.ConTs[4].Allows_FindPT_outgo:=new FindPT[1];
           instance.ConTs[4].Allows_FindPT_outgo[0]:=null;
           instance.ConTs[4].Allows_ReqPT_outgo:=new ReqPT[1];
           instance.ConTs[4].Allows_ReqPT_outgo[0]:=null;
           instance.Servs[0].IsInOf_ServT_outgo:=instance.ServTs[0];
           instance.Servs[0].Knows_ServDesp_outgo[0]:=instance.ServDesps[3];
           instance.ServTs[0].Supports_PortT_outgo[0]:=instance.PortTs[0];
           instance.ServTs[0].Supports_ProvPT_outgo:=instance.ProvPTs[0];
           instance.PortTs[0].Provides_Inter_outgo:=instance.Inters[0];
           instance.Inters[0].Defines_Oper_outgo:=instance.Opers[0];
           instance.ServDesps[0].Describe_Serv_outgo:=instance.Servs[0];
           instance.Comps[0].IsInOf_CompT_outgo:=instance.CompTs[0];
           instance.Comps[0].Knows_ServDesp_outgo[0]:=instance.ServDesps[3];
           instance.CompTs[0].Supports_PortT_outgo[0]:=instance.PortTs[1];
           instance.CompTs[0].Supports_PortT_outgo[1]:=instance.PortTs[2];
           instance.CompTs[0].Supports_ReqPT_outgo[0]:=instance.ReqPTs[0];
           instance.PortTs[1].Requires_Inter_outgo:=instance.Inters[0];
           instance.ConTs[0].Allows_PortT_outgo[0]:=instance.PortTs[0];
           instance.ConTs[0].Allows_PortT_outgo[1]:=instance.PortTs[1];
           instance.PortTs[2].Requires_Inter_outgo:=instance.Inters[1];
           instance.Servs[1].IsInOf_ServT_outgo:=instance.ServTs[1];
           instance.Servs[1].Knows_ServDesp_outgo[0]:=instance.ServDesps[3];
           instance.ServDesps[1].Describe_Serv_outgo:=instance.Servs[1];
           instance.ServTs[1].Supports_PortT_outgo[0]:=instance.PortTs[3];
           instance.ServTs[1].Supports_PortT_outgo[1]:=instance.PortTs[4];
           instance.ServTs[1].Supports_ProvPT_outgo:=instance.ProvPTs[0];
           instance.ServTs[1].Supports_ReqPT_outgo:=instance.ReqPTs[0];
           instance.PortTs[3].Provides_Inter_outgo:=instance.Inters[1];
           instance.PortTs[4].Requires_Inter_outgo:=instance.Inters[2];
           instance.ConTs[1].Allows_PortT_outgo[0]:=instance.PortTs[2];
           instance.ConTs[1].Allows_PortT_outgo[1]:=instance.PortTs[3];
           instance.Inters[1].Defines_Oper_outgo:=instance.Opers[1];
           instance.Servs[2].IsInOf_ServT_outgo:=instance.ServTs[2];
           instance.Servs[2].Knows_ServDesp_outgo[0]:=instance.ServDesps[3];
           instance.ServDesps[2].Describe_Serv_outgo:=instance.Servs[2];
           instance.ServTs[2].Supports_PortT_outgo[0]:=instance.PortTs[5];
           instance.ServTs[2].Supports_ProvPT_outgo:=instance.ProvPTs[0];
           instance.PortTs[5].Provides_Inter_outgo:=instance.Inters[2];
           instance.ConTs[2].Allows_PortT_outgo[0]:=instance.PortTs[4];
           instance.ConTs[2].Allows_PortT_outgo[1]:=instance.PortTs[5];
           instance.Inters[2].Defines_Oper_outgo:=instance.Opers[2];
           instance.ServDesps[3].Describe_DicServ_outgo:=instance.DicServs[0];
           instance.DicServs[0].IsInOf_DicServT_outgo:=instance.DicServTs[0];
           instance.DicServTs[0].Supports_PubPT_outgo:=instance.PubPTs[0];
           instance.DicServTs[0].Supports_FindPT_outgo:=instance.FindPTs[0];
           instance.ConTs[3].Allows_PubPT_outgo[0]:=instance.PubPTs[0];
           instance.ConTs[3].Allows_ProvPT_outgo[0]:=instance.ProvPTs[0];
           instance.ConTs[4].Allows_FindPT_outgo[0]:=instance.FindPTs[0];
           instance.ConTs[4].Allows_ReqPT_outgo[0]:=instance.ReqPTs[0];
           instance.Ports[11].used:=false;
    	     instance.Ports[11].isactive:=true;
   	     instance.DicServs[0].Owns_Port_outgo[0]:=instance.Ports[11];
           instance.Ports[11].IsInOf_PubPT_outgo:=instance.PubPTs[0];
   	     instance.Ports[12].used:=false;
    	     instance.Ports[12].isactive:=true;
   	     instance.DicServs[0].Owns_Port_outgo[1]:=instance.Ports[12];
   	     instance.Ports[12].IsInOf_FindPT_outgo:=instance.FindPTs[0];
   	     instance.Ports[6].used:=false;
    	     instance.Ports[6].isactive:=true;
   	     instance.Servs[1].Owns_Port_outgo[1]:=instance.Ports[6];
   	     instance.Ports[6].IsInOf_PortT_outgo:=instance.PortTs[4];
           instance.Ports[9].used:=false;
           instance.Ports[9].isactive:=true;
           instance.Servs[2].Owns_Port_outgo[0]:=instance.Ports[9];
           instance.Ports[9].IsInOf_PortT_outgo:=instance.PortTs[5];
           instance.Ports[1].used:=false;
           instance.Ports[1].isactive:=true;
           instance.Servs[0].Owns_Port_outgo[1]:=instance.Ports[1];
           instance.Ports[1].IsInOf_ProvPT_outgo:=instance.ProvPTs[0];
           instance.Ports[7].used:=false;
           instance.Ports[7].isactive:=true;
           instance.Servs[1].Owns_Port_outgo[2]:=instance.Ports[7];
           instance.Ports[7].IsInOf_ProvPT_outgo:=instance.ProvPTs[0];
           instance.Ports[10].used:=false;
           instance.Ports[10].isactive:=true;
           instance.Servs[2].Owns_Port_outgo[1]:=instance.Ports[10];
           instance.Ports[10].IsInOf_ProvPT_outgo:=instance.ProvPTs[0];
           instance.Ports[8].used:=false;
           instance.Ports[8].isactive:=true;
           instance.Servs[1].Owns_Port_outgo[3]:=instance.Ports[8];
           instance.Ports[8].IsInOf_ReqPT_outgo:=instance.ReqPTs[0];
       }//end of loc0
goto loc1;

loc loc1:



when  (     instance.Comps[0].IsInOf_CompT_outgo!=null  
   &&  instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]  
   && (   (instance.CompTs[0].Supports_PortT_outgo[0]!=null  && 
   instance.CompTs[0].Supports_PortT_outgo[0]==instance.PortTs[1]) || 
   (instance.CompTs[0].Supports_PortT_outgo[1]!=null  && 
   instance.CompTs[0].Supports_PortT_outgo[1]==instance.PortTs[1]) )
   && instance.Ports[2].isactive==false  
) do {
    instance.Ports[2].used:=false;
    instance.Ports[2].isactive:=true;
   instance.Comps[0].Owns_Port_outgo[0]:=instance.Ports[2];
   instance.Ports[2].IsInOf_PortT_outgo:=instance.PortTs[1];
} goto loc1;

when  (     instance.Comps[0].IsInOf_CompT_outgo!=null  
   &&  instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]  
   && (   (instance.CompTs[0].Supports_PortT_outgo[0]!=null  && 
   instance.CompTs[0].Supports_PortT_outgo[0]==instance.PortTs[2]) || 
   (instance.CompTs[0].Supports_PortT_outgo[1]!=null  && 
   instance.CompTs[0].Supports_PortT_outgo[1]==instance.PortTs[2]) )
   &&  instance.Ports[3].isactive==false  
) do {
    instance.Ports[3].used:=false;
    instance.Ports[3].isactive:=true;
    instance.Comps[0].Owns_Port_outgo[1]:=instance.Ports[3];
    instance.Ports[3].IsInOf_PortT_outgo:=instance.PortTs[2];
} goto loc1;

when ( instance.Comps[0].IsInOf_CompT_outgo!=null  
   	&&  instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0] 
	&&  instance.CompTs[0].Supports_ReqPT_outgo[0]!=null 
    &&   instance.CompTs[0].Supports_ReqPT_outgo[0]==instance.ReqPTs[0]
    &&  instance.Ports[4].isactive==false
)  do{
	instance.Ports[4].used:=false;
    instance.Ports[4].isactive:=true;
    instance.Comps[0].Owns_Port_outgo[2]:=instance.Ports[4];
    instance.Ports[4].IsInOf_ReqPT_outgo:=instance.ReqPTs[0];
} goto loc1;


when  (     instance.Servs[0].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[0].IsInOf_ServT_outgo==instance.ServTs[0]  
   && (   (instance.ServTs[0].Supports_PortT_outgo[0]!=null  && 
   instance.ServTs[0].Supports_PortT_outgo[0]==instance.PortTs[0]) 
   &&  instance.Ports[0].isactive==false
)  
) do {
    instance.Ports[0].used:=false;
    instance.Ports[0].isactive:=true;
   instance.Servs[0].Owns_Port_outgo[0]:=instance.Ports[0];
   instance.Ports[0].IsInOf_PortT_outgo:=instance.PortTs[0];
} goto loc1;

when  (     instance.Servs[1].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]  
   && (   (instance.ServTs[1].Supports_PortT_outgo[0]!=null  && 
   instance.ServTs[1].Supports_PortT_outgo[0]==instance.PortTs[3]) 
   &&  instance.Ports[5].isactive==false
)  
) do {
    instance.Ports[5].used:=false;
    instance.Ports[5].isactive:=true;
   instance.Servs[1].Owns_Port_outgo[0]:=instance.Ports[5];   
   instance.Ports[5].IsInOf_PortT_outgo:=instance.PortTs[3];
} goto loc1;

when instance.Comps[0].IsInOf_CompT_outgo!=null  
   &&  instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]  
   &&  (instance.CompTs[0].Supports_PortT_outgo[0]!=null  && 
   instance.CompTs[0].Supports_PortT_outgo[0]==instance.PortTs[1])
   && instance.Ports[2].isactive==true
   && instance.Ports[2].used==false
   && instance.ConTs[0].Allows_PortT_outgo[0]==instance.PortTs[0]
   && instance.ConTs[0].Allows_PortT_outgo[1]==instance.PortTs[1]
   && instance.Servs[0].IsInOf_ServT_outgo!=null  
   && instance.Servs[0].IsInOf_ServT_outgo==instance.ServTs[0]
   && instance.ServTs[0].Supports_PortT_outgo[0]!=null  
   && instance.ServTs[0].Supports_PortT_outgo[0]==instance.PortTs[0]
   && instance.Ports[0].isactive==true
   && instance.Ports[0].used==false
   && instance.ServDesps[0].Describe_Serv_outgo==instance.Servs[0]
   && instance.Comps[0].Knows_ServDesp_outgo[1]!=null
   && instance.Comps[0].Knows_ServDesp_outgo[1]==instance.ServDesps[0]
   && instance.Cons[0].isactive==false
   do {
   	  instance.Ports[0].used:=true;
   	  instance.Ports[2].used:=true;
   	  instance.Cons[0].isactive:=true;
   	  instance.Cons[0].Connects_Port_outgo[0]:=instance.Ports[0];
   	  instance.Cons[0].Connects_Port_outgo[1]:=instance.Ports[2];
   	  instance.Cons[0].IsInOf_ConT_outgo:=instance.ConTs[0];
   }
   goto loc1;

when instance.Comps[0].IsInOf_CompT_outgo!=null  
   &&  instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]  
   &&  (instance.CompTs[0].Supports_PortT_outgo[1]!=null  && 
   instance.CompTs[0].Supports_PortT_outgo[1]==instance.PortTs[2])
   && instance.Ports[3].isactive==true
   && instance.Ports[3].used==false
   && instance.ConTs[1].Allows_PortT_outgo[0]==instance.PortTs[2]
   && instance.ConTs[1].Allows_PortT_outgo[1]==instance.PortTs[3]
   && instance.Servs[1].IsInOf_ServT_outgo!=null  
   && instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]
   && instance.ServTs[1].Supports_PortT_outgo[0]!=null  
   && instance.ServTs[1].Supports_PortT_outgo[0]==instance.PortTs[3]
   && instance.Ports[5].isactive==true
   && instance.Ports[5].used==false
   && instance.ServDesps[1].Describe_Serv_outgo==instance.Servs[1]
   && instance.Comps[0].Knows_ServDesp_outgo[2]!=null
   && instance.Comps[0].Knows_ServDesp_outgo[2]==instance.ServDesps[1]
   && instance.Cons[1].isactive==false
   do {
   	  instance.Ports[3].used:=true;
   	  instance.Ports[5].used:=true;
   	  instance.Cons[1].isactive:=true;
   	  instance.Cons[1].Connects_Port_outgo[0]:=instance.Ports[3];
   	  instance.Cons[1].Connects_Port_outgo[1]:=instance.Ports[5];
   	  instance.Cons[1].IsInOf_ConT_outgo:=instance.ConTs[1];
   }
   goto loc1;
   
 when instance.Comps[0].IsInOf_CompT_outgo!=null  
   &&  instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]  
   &&  (instance.CompTs[0].Supports_ReqPT_outgo[0]!=null  && 
   instance.CompTs[0].Supports_ReqPT_outgo[0]==instance.ReqPTs[0])
   && instance.Ports[4].isactive==true
   && instance.Ports[4].used==false
   && instance.ConTs[4].Allows_ReqPT_outgo[0]==instance.ReqPTs[0]
   && instance.ConTs[4].Allows_FindPT_outgo[0]==instance.FindPTs[0]
   && instance.DicServs[0].IsInOf_DicServT_outgo!=null  
   && instance.DicServs[0].IsInOf_DicServT_outgo==instance.DicServTs[0]
   && instance.DicServTs[0].Supports_FindPT_outgo!=null  
   && instance.DicServTs[0].Supports_FindPT_outgo==instance.FindPTs[0]
   && instance.Ports[12].isactive==true
   && instance.Ports[12].used==false
   && instance.ServDesps[3].Describe_DicServ_outgo==instance.DicServs[0]
   && instance.Comps[0].Knows_ServDesp_outgo[0]!=null
   && instance.Comps[0].Knows_ServDesp_outgo[0]==instance.ServDesps[3]
   && instance.Cons[2].isactive==false
   do {
   	  instance.Ports[4].used:=true;
   	  instance.Ports[12].used:=true;
   	  instance.Cons[2].isactive:=true;
   	  instance.Cons[2].Connects_Port_outgo[0]:=instance.Ports[4];
   	  instance.Cons[2].Connects_Port_outgo[1]:=instance.Ports[12];
   	  instance.Cons[2].IsInOf_ConT_outgo:=instance.ConTs[4];
   }
   goto loc1;
   
 when instance.Servs[0].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[0].IsInOf_ServT_outgo==instance.ServTs[0]  
   &&  (instance.ServTs[0].Supports_ProvPT_outgo!=null  && 
   instance.ServTs[0].Supports_ProvPT_outgo==instance.ProvPTs[0])
   && instance.Ports[1].isactive==true
   && instance.Ports[1].used==false
   && instance.ConTs[3].Allows_ProvPT_outgo[0]==instance.ProvPTs[0]
   && instance.ConTs[3].Allows_PubPT_outgo[0]==instance.PubPTs[0]
   && instance.DicServs[0].IsInOf_DicServT_outgo!=null  
   && instance.DicServs[0].IsInOf_DicServT_outgo==instance.DicServTs[0]
   && instance.DicServTs[0].Supports_PubPT_outgo!=null  
   && instance.DicServTs[0].Supports_PubPT_outgo==instance.PubPTs[0]
   && instance.Ports[11].isactive==true
   && instance.Ports[11].used==false
   && instance.ServDesps[3].Describe_DicServ_outgo==instance.DicServs[0]
   && instance.Servs[0].Knows_ServDesp_outgo[0]!=null
   && instance.Servs[0].Knows_ServDesp_outgo[0]==instance.ServDesps[3]
   && instance.Cons[3].isactive==false
   do {
   	  instance.Ports[1].used:=true;
   	  instance.Ports[11].used:=true;
   	  instance.Cons[3].isactive:=true;
   	  instance.Cons[3].Connects_Port_outgo[0]:=instance.Ports[1];
   	  instance.Cons[3].Connects_Port_outgo[1]:=instance.Ports[11];
   	  instance.Cons[3].IsInOf_ConT_outgo:=instance.ConTs[3];
   }
   goto loc1; 
   
 when instance.Servs[1].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]  
   &&  (instance.ServTs[1].Supports_PortT_outgo[1]!=null  && 
   instance.ServTs[1].Supports_PortT_outgo[1]==instance.PortTs[4])
   && instance.Ports[6].isactive==true
   && instance.Ports[6].used==false
   && instance.ConTs[2].Allows_PortT_outgo[0]==instance.PortTs[4]
   && instance.ConTs[2].Allows_PortT_outgo[1]==instance.PortTs[5]
   && instance.Servs[2].IsInOf_ServT_outgo!=null  
   && instance.Servs[2].IsInOf_ServT_outgo==instance.ServTs[2]
   && instance.ServTs[2].Supports_PortT_outgo[0]!=null  
   && instance.ServTs[2].Supports_PortT_outgo[0]==instance.PortTs[5]
   && instance.Ports[9].isactive==true
   && instance.Ports[9].used==false
   && instance.ServDesps[2].Describe_Serv_outgo==instance.Servs[2]
   && instance.Servs[1].Knows_ServDesp_outgo[3]!=null
   && instance.Servs[1].Knows_ServDesp_outgo[3]==instance.ServDesps[2]
   && instance.Cons[4].isactive==false
   do {
   	  instance.Ports[6].used:=true;
   	  instance.Ports[9].used:=true;
   	  instance.Cons[4].isactive:=true;
   	  instance.Cons[4].Connects_Port_outgo[0]:=instance.Ports[6];
   	  instance.Cons[4].Connects_Port_outgo[1]:=instance.Ports[9];
   	  instance.Cons[4].IsInOf_ConT_outgo:=instance.ConTs[4];
   }
   goto loc1; 

when instance.Servs[1].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]  
   &&  (instance.ServTs[1].Supports_ProvPT_outgo!=null  && 
   instance.ServTs[1].Supports_ProvPT_outgo==instance.ProvPTs[0])
   && instance.Ports[7].isactive==true
   && instance.Ports[7].used==false
   && instance.ConTs[3].Allows_ProvPT_outgo[0]==instance.ProvPTs[0]
   && instance.ConTs[3].Allows_PubPT_outgo[0]==instance.PubPTs[0]
   && instance.DicServs[0].IsInOf_DicServT_outgo!=null  
   && instance.DicServs[0].IsInOf_DicServT_outgo==instance.DicServTs[0]
   && instance.DicServTs[0].Supports_PubPT_outgo!=null  
   && instance.DicServTs[0].Supports_PubPT_outgo==instance.PubPTs[0]
   && instance.Ports[11].isactive==true
   && instance.Ports[11].used==false
   && instance.ServDesps[3].Describe_DicServ_outgo==instance.DicServs[0]
   && instance.Servs[1].Knows_ServDesp_outgo[0]!=null
   && instance.Servs[1].Knows_ServDesp_outgo[0]==instance.ServDesps[3]
   && instance.Cons[5].isactive==false
   do {
   	  instance.Ports[7].used:=true;
   	  instance.Ports[11].used:=true;
   	  instance.Cons[5].isactive:=true;
   	  instance.Cons[5].Connects_Port_outgo[0]:=instance.Ports[7];
   	  instance.Cons[5].Connects_Port_outgo[1]:=instance.Ports[11];
   	  instance.Cons[5].IsInOf_ConT_outgo:=instance.ConTs[3];
   }
   goto loc1; 
   
when instance.Servs[1].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]  
   &&  (instance.ServTs[1].Supports_ReqPT_outgo!=null  && 
   instance.ServTs[1].Supports_ReqPT_outgo==instance.ReqPTs[0])
   && instance.Ports[8].isactive==true
   && instance.Ports[8].used==false
   && instance.ConTs[4].Allows_ReqPT_outgo[0]!=null
   && instance.ConTs[4].Allows_ReqPT_outgo[0]==instance.ReqPTs[0]
   && instance.ConTs[4].Allows_FindPT_outgo[0]!=null
   && instance.ConTs[4].Allows_FindPT_outgo[0]==instance.FindPTs[0]
   && instance.DicServs[0].IsInOf_DicServT_outgo!=null  
   && instance.DicServs[0].IsInOf_DicServT_outgo==instance.DicServTs[0]
   && instance.DicServTs[0].Supports_FindPT_outgo!=null  
   && instance.DicServTs[0].Supports_FindPT_outgo==instance.FindPTs[0]
   && instance.Ports[12].isactive==true
   && instance.Ports[12].used==false
   && instance.ServDesps[3].Describe_DicServ_outgo==instance.DicServs[0]
   && instance.Servs[1].Knows_ServDesp_outgo[0]!=null
   && instance.Servs[1].Knows_ServDesp_outgo[0]==instance.ServDesps[3]
   && instance.Cons[6].isactive==false
   do {
   	  instance.Ports[8].used:=true;
   	  instance.Ports[12].used:=true;
   	  instance.Cons[6].isactive:=true;
   	  instance.Cons[6].Connects_Port_outgo[0]:=instance.Ports[8];
   	  instance.Cons[6].Connects_Port_outgo[1]:=instance.Ports[12];
   	  instance.Cons[6].IsInOf_ConT_outgo:=instance.ConTs[4];
   }
   goto loc1; 
   
when instance.Servs[2].IsInOf_ServT_outgo!=null  
   &&  instance.Servs[2].IsInOf_ServT_outgo==instance.ServTs[2]  
   &&  (instance.ServTs[2].Supports_ProvPT_outgo!=null  && 
   instance.ServTs[2].Supports_ProvPT_outgo==instance.ProvPTs[0])
   && instance.Ports[10].isactive==true
   && instance.Ports[10].used==false
   && instance.ConTs[3].Allows_ProvPT_outgo[0]==instance.ProvPTs[0]
   && instance.ConTs[3].Allows_PubPT_outgo[0]==instance.PubPTs[0]
   && instance.DicServs[0].IsInOf_DicServT_outgo!=null  
   && instance.DicServs[0].IsInOf_DicServT_outgo==instance.DicServTs[0]
   && instance.DicServTs[0].Supports_PubPT_outgo!=null  
   && instance.DicServTs[0].Supports_PubPT_outgo==instance.PubPTs[0]
   && instance.Ports[11].isactive==true
   && instance.Ports[11].used==false
   && instance.ServDesps[3].Describe_DicServ_outgo==instance.DicServs[0]
   && instance.Servs[2].Knows_ServDesp_outgo[0]!=null
   && instance.Servs[2].Knows_ServDesp_outgo[0]==instance.ServDesps[3]
   && instance.Cons[7].isactive==false
   do {
   	  instance.Ports[10].used:=true;
   	  instance.Ports[11].used:=true;
   	  instance.Cons[7].isactive:=true;
   	  instance.Cons[7].Connects_Port_outgo[0]:=instance.Ports[10];
   	  instance.Cons[7].Connects_Port_outgo[1]:=instance.Ports[11];
   	  instance.Cons[7].IsInOf_ConT_outgo:=instance.ConTs[3];
   }
   goto loc1; 
   
when  instance.Servs[0].Owns_Port_outgo[1]!=null
	  &&  instance.Servs[0].Owns_Port_outgo[1]==instance.Ports[1]
	  &&  instance.Ports[1].IsInOf_ProvPT_outgo!=null
	  &&  instance.Ports[1].IsInOf_ProvPT_outgo==instance.ProvPTs[0]
	  &&  instance.Cons[3].isactive==true
	  &&  instance.Ports[1].Sends_ServPub_outgo==null
	  &&  instance.Cons[3].Connects_Port_outgo[0]==instance.Ports[1]
	  &&  instance.Cons[3].Connects_Port_outgo[1]==instance.Ports[11]  
	  &&  instance.Ports[11].IsInOf_PubPT_outgo==instance.PubPTs[0]
	  &&  instance.ServPubs[0].isactive==false
	  do{
	  	instance.ServPubs[0].isactive:=true;
	  	instance.Ports[1].Sends_ServPub_outgo:=instance.ServPubs[0];
	  	instance.ServPubs[0].Publishes_ServDesp_outgo:=instance.ServDesps[0];
	  	instance.ServPubs[0].SentVia_Con_outgo:=instance.Cons[3];
	  }
	goto loc1;
	
when  instance.Servs[1].Owns_Port_outgo[2]!=null
	  &&  instance.Servs[1].Owns_Port_outgo[2]==instance.Ports[7]
	  &&  instance.Ports[7].IsInOf_ProvPT_outgo!=null
	  &&  instance.Ports[7].IsInOf_ProvPT_outgo==instance.ProvPTs[0]
	  &&  instance.Cons[5].isactive==true
	  &&  instance.Ports[7].Sends_ServPub_outgo==null
	  &&  instance.Cons[5].Connects_Port_outgo[0]==instance.Ports[7]
	  &&  instance.Cons[5].Connects_Port_outgo[1]==instance.Ports[11]  
	  &&  instance.Ports[11].IsInOf_PubPT_outgo==instance.PubPTs[0]
	  &&  instance.ServPubs[0].isactive==false
	  do{
	  	instance.ServPubs[0].isactive:=true;
	  	instance.Ports[7].Sends_ServPub_outgo:=instance.ServPubs[0];
	  	instance.ServPubs[0].Publishes_ServDesp_outgo:=instance.ServDesps[1];
	  	instance.ServPubs[0].SentVia_Con_outgo:=instance.Cons[5];
	  }
	goto loc1;
	
when  instance.Servs[2].Owns_Port_outgo[1]!=null
	  &&  instance.Servs[2].Owns_Port_outgo[1]==instance.Ports[10]
	  &&  instance.Ports[10].IsInOf_ProvPT_outgo!=null
	  &&  instance.Ports[10].IsInOf_ProvPT_outgo==instance.ProvPTs[0]
	  &&  instance.Cons[7].isactive==true
	  &&  instance.Ports[10].Sends_ServPub_outgo==null
	  &&  instance.Cons[7].Connects_Port_outgo[0]==instance.Ports[10]
	  &&  instance.Cons[7].Connects_Port_outgo[1]==instance.Ports[11]  
	  &&  instance.Ports[11].IsInOf_PubPT_outgo==instance.PubPTs[0]
	  &&  instance.ServPubs[0].isactive==false
	  do{
	  	instance.ServPubs[0].isactive:=true;
	  	instance.Ports[10].Sends_ServPub_outgo:=instance.ServPubs[0];
	  	instance.ServPubs[0].Publishes_ServDesp_outgo:=instance.ServDesps[2];
	  	instance.ServPubs[0].SentVia_Con_outgo:=instance.Cons[7];
	  }
	goto loc1;

when  instance.Ports[1].IsInOf_ProvPT_outgo!=null
	  &&  instance.Ports[1].IsInOf_ProvPT_outgo==instance.ProvPTs[0]
	  &&  instance.Ports[1].Sends_ServPub_outgo!=null
	  &&  instance.Ports[1].Sends_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.Cons[3].isactive==true
	  &&  instance.Cons[3].Connects_Port_outgo[0]==instance.Ports[1]
	  &&  instance.Cons[3].Connects_Port_outgo[1]==instance.Ports[11]
	  &&  instance.Ports[11].Requires_ServPub_outgo==null
	  &&  instance.Ports[11].IsInOf_PubPT_outgo==instance.PubPTs[0]
	  &&  instance.DicServs[0].Owns_Port_outgo[0]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[0]==instance.Ports[11]
	  &&  instance.ServPubs[0].SentVia_Con_outgo==instance.Cons[3]
	  do{
	  	instance.Ports[11].Requires_ServPub_outgo:=instance.ServPubs[0];
	  }
	goto loc1; 
	
when  instance.Ports[7].IsInOf_ProvPT_outgo!=null
	  &&  instance.Ports[7].IsInOf_ProvPT_outgo==instance.ProvPTs[0]
	  &&  instance.Ports[7].Sends_ServPub_outgo!=null
	  &&  instance.Ports[7].Sends_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.Cons[5].isactive==true
	  &&  instance.Cons[5].Connects_Port_outgo[0]==instance.Ports[7]
	  &&  instance.Cons[5].Connects_Port_outgo[1]==instance.Ports[11]
	  &&  instance.Ports[11].Requires_ServPub_outgo==null
	  &&  instance.Ports[11].IsInOf_PubPT_outgo==instance.PubPTs[0]
	  &&  instance.DicServs[0].Owns_Port_outgo[0]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[0]==instance.Ports[11]
	  &&  instance.ServPubs[0].SentVia_Con_outgo==instance.Cons[5]
	  do{
	  	instance.Ports[11].Requires_ServPub_outgo:=instance.ServPubs[0];
	  }
	goto loc1; 

when  instance.Ports[10].IsInOf_ProvPT_outgo!=null
	  &&  instance.Ports[10].IsInOf_ProvPT_outgo==instance.ProvPTs[0]
	  &&  instance.Ports[10].Sends_ServPub_outgo!=null
	  &&  instance.Ports[10].Sends_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.Cons[7].isactive==true
	  &&  instance.Cons[7].Connects_Port_outgo[0]==instance.Ports[10]
	  &&  instance.Cons[7].Connects_Port_outgo[1]==instance.Ports[11]
	  &&  instance.Ports[11].Requires_ServPub_outgo==null
	  &&  instance.Ports[11].IsInOf_PubPT_outgo==instance.PubPTs[0]
	  &&  instance.DicServs[0].Owns_Port_outgo[0]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[0]==instance.Ports[11]
	  &&  instance.ServPubs[0].SentVia_Con_outgo==instance.Cons[7]
	  do{
	  	instance.Ports[11].Requires_ServPub_outgo:=instance.ServPubs[0];
	  }
	goto loc1; 	

when  instance.Ports[1].Sends_ServPub_outgo!=null
	  &&  instance.Ports[1].Sends_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.Cons[3].isactive==true
	  &&  instance.Cons[3].Connects_Port_outgo[0]==instance.Ports[1]
	  &&  instance.Cons[3].Connects_Port_outgo[1]==instance.Ports[11]
	  &&  instance.Ports[11].Requires_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.DicServs[0].Owns_Port_outgo[0]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[0]==instance.Ports[11]
	  &&  instance.ServPubs[0].SentVia_Con_outgo==instance.Cons[3]
	  &&  instance.ServPubs[0].Publishes_ServDesp_outgo==instance.ServDesps[0]
	do{
		instance.DicServs[0].Knows_ServDesp_outgo[0]:=instance.ServDesps[0];
		instance.ServPubs[0].isactive:=false;
		instance.ServPubs[0].Publishes_ServDesp_outgo:=null;
		instance.ServPubs[0].SentVia_Con_outgo:=null;
		instance.Ports[1].Sends_ServPub_outgo:=null;
		instance.Ports[11].Requires_ServPub_outgo:=null;
		instance.Ports[1].Sends_QRes_outgo:=null;
        	instance.Ports[1].Sends_ServQ_outgo:=null;
       		instance.Ports[1].Sends_ServPub_outgo:=null;
        	instance.Ports[1].Sends_Resp_outgo:=null;
        	instance.Ports[1].Sends_Req_outgo:=null;
        	instance.Ports[1].Requires_QRes_outgo:=null;
        	instance.Ports[1].Requires_ServQ_outgo:=null;
        	instance.Ports[1].Requires_ServPub_outgo:=null;
        	instance.Ports[1].Requires_Resp_outgo:=null;
        	instance.Ports[1].Requires_Req_outgo:=null;
	}
  goto loc1;
  
  when  instance.Ports[7].Sends_ServPub_outgo!=null
	  &&  instance.Ports[7].Sends_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.Cons[5].isactive==true
	  &&  instance.Cons[5].Connects_Port_outgo[0]==instance.Ports[7]
	  &&  instance.Cons[5].Connects_Port_outgo[1]==instance.Ports[11]
	  &&  instance.Ports[11].Requires_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.DicServs[0].Owns_Port_outgo[0]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[0]==instance.Ports[11]
	  &&  instance.ServPubs[0].SentVia_Con_outgo==instance.Cons[5]
	  &&  instance.ServPubs[0].Publishes_ServDesp_outgo==instance.ServDesps[1]
	do{
		instance.DicServs[0].Knows_ServDesp_outgo[1]:=instance.ServDesps[1];
		instance.ServPubs[0].isactive:=false;
		instance.ServPubs[0].Publishes_ServDesp_outgo:=null;
		instance.ServPubs[0].SentVia_Con_outgo:=null;
		instance.Ports[7].Sends_ServPub_outgo:=null;
		instance.Ports[11].Requires_ServPub_outgo:=null;
		instance.Ports[7].Sends_QRes_outgo:=null;
        	instance.Ports[7].Sends_ServQ_outgo:=null;
        	instance.Ports[7].Sends_ServPub_outgo:=null;
        	instance.Ports[7].Sends_Resp_outgo:=null;
        	instance.Ports[7].Sends_Req_outgo:=null;
        	instance.Ports[7].Requires_QRes_outgo:=null;
        	instance.Ports[7].Requires_ServQ_outgo:=null;
        	instance.Ports[7].Requires_ServPub_outgo:=null;
        	instance.Ports[7].Requires_Resp_outgo:=null;
        	instance.Ports[7].Requires_Req_outgo:=null;
	}
  goto loc1;
  
when  instance.Ports[10].Sends_ServPub_outgo!=null
	  &&  instance.Ports[10].Sends_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.Cons[7].isactive==true
	  &&  instance.Cons[7].Connects_Port_outgo[0]==instance.Ports[10]
	  &&  instance.Cons[7].Connects_Port_outgo[1]==instance.Ports[11]
	  &&  instance.Ports[11].Requires_ServPub_outgo==instance.ServPubs[0]
	  &&  instance.DicServs[0].Owns_Port_outgo[0]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[0]==instance.Ports[11]
	  &&  instance.ServPubs[0].SentVia_Con_outgo==instance.Cons[7]
	  &&  instance.ServPubs[0].Publishes_ServDesp_outgo==instance.ServDesps[2]
	do{
		instance.DicServs[0].Knows_ServDesp_outgo[2]:=instance.ServDesps[2];
		instance.ServPubs[0].isactive:=false;
		instance.ServPubs[0].Publishes_ServDesp_outgo:=null;
		instance.ServPubs[0].SentVia_Con_outgo:=null;
		instance.Ports[10].Sends_ServPub_outgo:=null;
		instance.Ports[11].Requires_ServPub_outgo:=null;
		instance.Ports[10].Sends_QRes_outgo:=null;
        	instance.Ports[10].Sends_ServQ_outgo:=null;
        	instance.Ports[10].Sends_ServPub_outgo:=null;
        	instance.Ports[10].Sends_Resp_outgo:=null;
        	instance.Ports[10].Sends_Req_outgo:=null;
        	instance.Ports[10].Requires_QRes_outgo:=null;
        	instance.Ports[10].Requires_ServQ_outgo:=null;
        	instance.Ports[10].Requires_ServPub_outgo:=null;
        	instance.Ports[10].Requires_Resp_outgo:=null;
        	instance.Ports[10].Requires_Req_outgo:=null;
	}
  goto loc1;

when instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]
	 &&  instance.CompTs[0].Supports_PortT_outgo[0]==instance.PortTs[1]
	 &&  instance.Comps[0].Owns_Port_outgo[2]!=null
	 &&  instance.Comps[0].Owns_Port_outgo[2]==instance.Ports[4]
	 &&  instance.Ports[4].IsInOf_ReqPT_outgo!=null
	 &&  instance.Ports[4].IsInOf_ReqPT_outgo==instance.ReqPTs[0]
	 &&  instance.CompTs[0].Supports_ReqPT_outgo[0]!=null
	 &&  instance.CompTs[0].Supports_ReqPT_outgo[0]==instance.ReqPTs[0]
	 &&  instance.Cons[2].isactive==true
	 &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	 &&  instance.Cons[2].Connects_Port_outgo[1]==instance.Ports[12]
	 &&  instance.Ports[12].IsInOf_FindPT_outgo!=null
	 &&  instance.Ports[12].IsInOf_FindPT_outgo==instance.FindPTs[0]
	 &&  instance.ServQs[0].isactive==false
	 &&  instance.Ports[4].Sends_ServQ_outgo==null
	 do{
	 	instance.ServQs[0].isactive:=true;
	 	instance.ServQs[0].SentVia_Con_outgo:=instance.Cons[2];
	 	instance.ServQs[0].ReSerFor_PortT_outgo:=instance.PortTs[1];
	 	instance.Ports[4].Sends_ServQ_outgo:=instance.ServQs[0];
	 	
	 }
  goto loc1;
  

  
when instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]
	 &&  instance.ServTs[1].Supports_PortT_outgo[1]==instance.PortTs[4]
	 &&  instance.Servs[1].Owns_Port_outgo[3]!=null
	 &&  instance.Servs[1].Owns_Port_outgo[3]==instance.Ports[8]
	 &&  instance.Ports[8].IsInOf_ReqPT_outgo!=null
	 &&  instance.Ports[8].IsInOf_ReqPT_outgo==instance.ReqPTs[0]
	 &&  instance.ServTs[1].Supports_ReqPT_outgo!=null
	 &&  instance.ServTs[1].Supports_ReqPT_outgo==instance.ReqPTs[0]
	 &&  instance.Cons[6].isactive==true
	 &&  instance.Cons[6].Connects_Port_outgo[0]==instance.Ports[8]
	 &&  instance.Cons[6].Connects_Port_outgo[1]==instance.Ports[12]
	 &&  instance.Ports[12].IsInOf_FindPT_outgo!=null
	 &&  instance.Ports[12].IsInOf_FindPT_outgo==instance.FindPTs[0]
	 &&  instance.ServQs[0].isactive==false
	 &&  instance.Ports[8].Sends_ServQ_outgo==null
	 
	 do{
	 	instance.ServQs[0].isactive:=true;
	 	instance.ServQs[0].SentVia_Con_outgo:=instance.Cons[6];
	 	instance.ServQs[0].ReSerFor_PortT_outgo:=instance.PortTs[4];
	 	instance.Ports[8].Sends_ServQ_outgo:=instance.ServQs[0];
	 	
	 }
  goto loc1;
  
 when instance.Comps[0].IsInOf_CompT_outgo==instance.CompTs[0]
	 &&  instance.CompTs[0].Supports_PortT_outgo[1]==instance.PortTs[2]
	 &&  instance.Comps[0].Owns_Port_outgo[2]!=null
	 &&  instance.Comps[0].Owns_Port_outgo[2]==instance.Ports[4]
	 &&  instance.Ports[4].IsInOf_ReqPT_outgo!=null
	 &&  instance.Ports[4].IsInOf_ReqPT_outgo==instance.ReqPTs[0]
	 &&  instance.CompTs[0].Supports_ReqPT_outgo[0]!=null
	 &&  instance.CompTs[0].Supports_ReqPT_outgo[0]==instance.ReqPTs[0]
	 &&  instance.Cons[2].isactive==true
	 &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	 &&  instance.Cons[2].Connects_Port_outgo[1]==instance.Ports[12]
	 &&  instance.Ports[12].IsInOf_FindPT_outgo!=null
	 &&  instance.Ports[12].IsInOf_FindPT_outgo==instance.FindPTs[0]
	 &&  instance.ServQs[0].isactive==false
	 &&  instance.Ports[4].Sends_ServQ_outgo==null
	 do{
	 	instance.ServQs[0].isactive:=true;
	 	instance.ServQs[0].SentVia_Con_outgo:=instance.Cons[2];
	 	instance.ServQs[0].ReSerFor_PortT_outgo:=instance.PortTs[2];
	 	instance.Ports[4].Sends_ServQ_outgo:=instance.ServQs[0];
	 	
	 }
  goto loc1;
  
when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].IsInOf_FindPT_outgo!=null
	  &&  instance.Ports[12].IsInOf_FindPT_outgo==instance.FindPTs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.Ports[12].Requires_ServQ_outgo==null
	  &&  instance.Cons[2].isactive==true
	  &&  instance.Cons[2].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.Ports[4].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	  &&  instance.ServQs[0].isactive==true
	  do{
	  	instance.Ports[12].Requires_ServQ_outgo:=instance.ServQs[0];
	  }
	  goto loc1;
	  
when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].IsInOf_FindPT_outgo!=null
	  &&  instance.Ports[12].IsInOf_FindPT_outgo==instance.FindPTs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.Ports[12].Requires_ServQ_outgo==null
	  &&  instance.Cons[6].isactive==true
	  &&  instance.Cons[6].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.Ports[8].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[6].Connects_Port_outgo[0]==instance.Ports[8]
	  &&  instance.ServQs[0].isactive==true
	  do{
	  	instance.Ports[12].Requires_ServQ_outgo:=instance.ServQs[0];
	  }
	  goto loc1;
	  
when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].ReSerFor_PortT_outgo!=null
	  &&  instance.ServQs[0].ReSerFor_PortT_outgo==instance.PortTs[1]
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[0]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[0]==instance.ServDesps[0]
	  &&  instance.ServDesps[0].Describe_Serv_outgo==instance.Servs[0]
	  &&  instance.Servs[0].IsInOf_ServT_outgo!=null
	  &&  instance.Servs[0].IsInOf_ServT_outgo==instance.ServTs[0]
	  &&  instance.ServTs[0].Supports_PortT_outgo[0]==instance.PortTs[0]
	  &&  instance.ConTs[0].Allows_PortT_outgo[0]==instance.PortTs[0]
	  &&  instance.ConTs[0].Allows_PortT_outgo[1]==instance.PortTs[1]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.ServDesps[0].Satify_ServQ_outgo==null
	  do{
	  	instance.ServDesps[0].Satify_ServQ_outgo:=instance.ServQs[0];
	  }
	 goto loc1;
	 
when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].ReSerFor_PortT_outgo!=null
	  &&  instance.ServQs[0].ReSerFor_PortT_outgo==instance.PortTs[2]
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[1]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[1]==instance.ServDesps[1]
	  &&  instance.ServDesps[1].Describe_Serv_outgo==instance.Servs[1]
	  &&  instance.Servs[1].IsInOf_ServT_outgo!=null
	  &&  instance.Servs[1].IsInOf_ServT_outgo==instance.ServTs[1]
	  &&  instance.ServTs[1].Supports_PortT_outgo[0]==instance.PortTs[3]
	  &&  instance.ConTs[1].Allows_PortT_outgo[0]==instance.PortTs[2]
	  &&  instance.ConTs[1].Allows_PortT_outgo[1]==instance.PortTs[3]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.ServDesps[1].Satify_ServQ_outgo==null
	  do{
	  	instance.ServDesps[1].Satify_ServQ_outgo:=instance.ServQs[0];
	  }
	 goto loc1;
	 
when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].ReSerFor_PortT_outgo!=null
	  &&  instance.ServQs[0].ReSerFor_PortT_outgo==instance.PortTs[4]
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[2]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[2]==instance.ServDesps[2]
	  &&  instance.ServDesps[2].Describe_Serv_outgo==instance.Servs[2]
	  &&  instance.Servs[2].IsInOf_ServT_outgo!=null
	  &&  instance.Servs[2].IsInOf_ServT_outgo==instance.ServTs[2]
	  &&  instance.ServTs[2].Supports_PortT_outgo[0]==instance.PortTs[5]
	  &&  instance.ConTs[2].Allows_PortT_outgo[0]==instance.PortTs[4]
	  &&  instance.ConTs[2].Allows_PortT_outgo[1]==instance.PortTs[5]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.ServDesps[2].Satify_ServQ_outgo==null
	  do{
	  	instance.ServDesps[2].Satify_ServQ_outgo:=instance.ServQs[0];
	  }
	 goto loc1;
	 

when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==false
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[0]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[0]==instance.ServDesps[0]
	  &&  instance.ServDesps[0].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[0].Satify_ServQ_outgo==instance.ServQs[0]	
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]  
	  &&  instance.Cons[2].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Sends_QRes_outgo==null
	  do{
	  	instance.Ports[12].Sends_QRes_outgo:=instance.QRess[0];
	  	instance.QRess[0].SentVia_Con_outgo:=instance.Cons[2];
	  	instance.QRess[0].ResultOf_ServQ_outgo:=instance.ServQs[0];
	  	instance.QRess[0].Contains_ServDesp_outgo:=instance.ServDesps[0];
	  	instance.QRess[0].isactive:=true;
	  
	  }
	goto loc1;

when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==false
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[1]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[1]==instance.ServDesps[1]
	  &&  instance.ServDesps[1].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[1].Satify_ServQ_outgo==instance.ServQs[0]	
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]  
	  &&  instance.Cons[2].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Sends_QRes_outgo==null
	  do{
	  	instance.Ports[12].Sends_QRes_outgo:=instance.QRess[0];
	  	instance.QRess[0].SentVia_Con_outgo:=instance.Cons[2];
	  	instance.QRess[0].ResultOf_ServQ_outgo:=instance.ServQs[0];
	  	instance.QRess[0].Contains_ServDesp_outgo:=instance.ServDesps[1];
	  	instance.QRess[0].isactive:=true;
	  
	  }
	goto loc1;
	when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==false
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[2]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[2]==instance.ServDesps[2]
	  &&  instance.ServDesps[2].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[2].Satify_ServQ_outgo==instance.ServQs[0]	
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]  
	  &&  instance.Cons[2].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Sends_QRes_outgo==null
	  do{
	  	instance.Ports[12].Sends_QRes_outgo:=instance.QRess[0];
	  	instance.QRess[0].SentVia_Con_outgo:=instance.Cons[2];
	  	instance.QRess[0].ResultOf_ServQ_outgo:=instance.ServQs[0];
	  	instance.QRess[0].Contains_ServDesp_outgo:=instance.ServDesps[2];
	  	instance.QRess[0].isactive:=true;
	  
	  }
	goto loc1;
	
when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==false
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[0]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[0]==instance.ServDesps[0]
	  &&  instance.ServDesps[0].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[0].Satify_ServQ_outgo==instance.ServQs[0]	
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]  
	  &&  instance.Cons[6].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[6].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Sends_QRes_outgo==null
	  do{
	  	instance.Ports[12].Sends_QRes_outgo:=instance.QRess[0];
	  	instance.QRess[0].SentVia_Con_outgo:=instance.Cons[6];
	  	instance.QRess[0].ResultOf_ServQ_outgo:=instance.ServQs[0];
	  	instance.QRess[0].Contains_ServDesp_outgo:=instance.ServDesps[0];
	  	instance.QRess[0].isactive:=true;
	  
	  }
	goto loc1;

when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==false
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[1]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[1]==instance.ServDesps[1]
	  &&  instance.ServDesps[1].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[1].Satify_ServQ_outgo==instance.ServQs[0]	
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]  
	  &&  instance.Cons[6].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[6].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Sends_QRes_outgo==null
	  do{
	  	instance.Ports[12].Sends_QRes_outgo:=instance.QRess[0];
	  	instance.QRess[0].SentVia_Con_outgo:=instance.Cons[6];
	  	instance.QRess[0].ResultOf_ServQ_outgo:=instance.ServQs[0];
	  	instance.QRess[0].Contains_ServDesp_outgo:=instance.ServDesps[1];
	  	instance.QRess[0].isactive:=true;
	  
	  }
	goto loc1;

when  instance.DicServs[0].Owns_Port_outgo[1]!=null
	  &&  instance.DicServs[0].Owns_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Requires_ServQ_outgo!=null
	  &&  instance.Ports[12].Requires_ServQ_outgo==instance.ServQs[0]
	  &&  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==false
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[2]!=null
	  &&  instance.DicServs[0].Knows_ServDesp_outgo[2]==instance.ServDesps[2]
	  &&  instance.ServDesps[2].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[2].Satify_ServQ_outgo==instance.ServQs[0]	
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]  
	  &&  instance.Cons[6].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[6].Connects_Port_outgo[1]==instance.Ports[12]
	  &&  instance.Ports[12].Sends_QRes_outgo==null
	  do{
	  	instance.Ports[12].Sends_QRes_outgo:=instance.QRess[0];
	  	instance.QRess[0].SentVia_Con_outgo:=instance.Cons[6];
	  	instance.QRess[0].ResultOf_ServQ_outgo:=instance.ServQs[0];
	  	instance.QRess[0].Contains_ServDesp_outgo:=instance.ServDesps[2];
	  	instance.QRess[0].isactive:=true;
	  
	  }
	goto loc1;

when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[2].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	  &&  instance.Ports[4].Sends_ServQ_outgo!=null
	  &&  instance.Ports[4].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[4].Requires_QRes_outgo==null
	  do{
	  	instance.Ports[4].Requires_QRes_outgo:=instance.QRess[0];
	  }
	goto loc1;
when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[6].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[6].Connects_Port_outgo[0]==instance.Ports[8]
	  &&  instance.Ports[8].Sends_ServQ_outgo!=null
	  &&  instance.Ports[8].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[8].Requires_QRes_outgo==null
	  do{
	  	instance.Ports[8].Requires_QRes_outgo:=instance.QRess[0];
	  }
	goto loc1;

when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[2].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	  &&  instance.Ports[4].Sends_ServQ_outgo!=null
	  &&  instance.Ports[4].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[4].Requires_QRes_outgo!=null
	  &&  instance.Ports[4].Requires_QRes_outgo==instance.QRess[0]
	  &&  instance.Comps[0].Owns_Port_outgo[2]!=null
	  &&  instance.Comps[0].Owns_Port_outgo[2]==instance.Ports[4]
	  &&  instance.QRess[0].Contains_ServDesp_outgo!=null
	  &&  instance.QRess[0].Contains_ServDesp_outgo==instance.ServDesps[0]
	  &&  instance.ServDesps[0].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[0].Satify_ServQ_outgo==instance.ServQs[0]
	  do{
	  	instance.Comps[0].Knows_ServDesp_outgo[1]:=instance.ServDesps[0];
	  	instance.QRess[0].isactive:=false;
	  	instance.QRess[0].Contains_ServDesp_outgo:=null;
	  	instance.QRess[0].ResultOf_ServQ_outgo:=null;
	  	instance.QRess[0].SentVia_Con_outgo:=null;
	  	instance.Ports[4].Requires_QRes_outgo:=null;
	  	instance.ServQs[0].isactive:=false;
	  	instance.ServQs[0].SentVia_Con_outgo:=null;
	  	instance.Ports[4].Sends_ServQ_outgo:=null;
	  	instance.ServDesps[0].Satify_ServQ_outgo:=null;
	  	instance.Ports[4].Sends_QRes_outgo:=null;
        	instance.Ports[4].Sends_ServQ_outgo:=null;
        	instance.Ports[4].Sends_ServPub_outgo:=null;
        	instance.Ports[4].Sends_Resp_outgo:=null;
        	instance.Ports[4].Sends_Req_outgo:=null;
        	instance.Ports[4].Requires_QRes_outgo:=null;
        	instance.Ports[4].Requires_ServQ_outgo:=null;
        	instance.Ports[4].Requires_ServPub_outgo:=null;
        	instance.Ports[4].Requires_Resp_outgo:=null;
        	instance.Ports[4].Requires_Req_outgo:=null;
	  }
	goto loc1;
	
when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[2].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	  &&  instance.Ports[4].Sends_ServQ_outgo!=null
	  &&  instance.Ports[4].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[4].Requires_QRes_outgo!=null
	  &&  instance.Ports[4].Requires_QRes_outgo==instance.QRess[0]
	  &&  instance.Comps[0].Owns_Port_outgo[2]!=null
	  &&  instance.Comps[0].Owns_Port_outgo[2]==instance.Ports[4]
	  &&  instance.QRess[0].Contains_ServDesp_outgo!=null
	  &&  instance.QRess[0].Contains_ServDesp_outgo==instance.ServDesps[1]
	  &&  instance.ServDesps[1].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[1].Satify_ServQ_outgo==instance.ServQs[0]
	  do{
	  	instance.Comps[0].Knows_ServDesp_outgo[2]:=instance.ServDesps[1];
	  	instance.QRess[0].isactive:=false;
	  	instance.QRess[0].Contains_ServDesp_outgo:=null;
	  	instance.QRess[0].ResultOf_ServQ_outgo:=null;
	  	instance.QRess[0].SentVia_Con_outgo:=null;
	  	instance.Ports[4].Requires_QRes_outgo:=null;
	  	instance.ServQs[0].isactive:=false;
	  	instance.ServQs[0].SentVia_Con_outgo:=null;
	  	instance.Ports[4].Sends_ServQ_outgo:=null;
	  	instance.ServDesps[1].Satify_ServQ_outgo:=null;
	  	instance.Ports[4].Sends_QRes_outgo:=null;
        	instance.Ports[4].Sends_ServQ_outgo:=null;
        	instance.Ports[4].Sends_ServPub_outgo:=null;
        	instance.Ports[4].Sends_Resp_outgo:=null;
        	instance.Ports[4].Sends_Req_outgo:=null;
        	instance.Ports[4].Requires_QRes_outgo:=null;
        	instance.Ports[4].Requires_ServQ_outgo:=null;
        	instance.Ports[4].Requires_ServPub_outgo:=null;
        	instance.Ports[4].Requires_Resp_outgo:=null;
        	instance.Ports[4].Requires_Req_outgo:=null;
	  }
	goto loc1;
	
when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[2]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[2].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[2].Connects_Port_outgo[0]==instance.Ports[4]
	  &&  instance.Ports[4].Sends_ServQ_outgo!=null
	  &&  instance.Ports[4].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[4].Requires_QRes_outgo!=null
	  &&  instance.Ports[4].Requires_QRes_outgo==instance.QRess[0]
	  &&  instance.Comps[0].Owns_Port_outgo[2]!=null
	  &&  instance.Comps[0].Owns_Port_outgo[2]==instance.Ports[4]
	  &&  instance.QRess[0].Contains_ServDesp_outgo!=null
	  &&  instance.QRess[0].Contains_ServDesp_outgo==instance.ServDesps[2]
	  &&  instance.ServDesps[2].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[2].Satify_ServQ_outgo==instance.ServQs[0]
	  do{
	  	instance.Comps[0].Knows_ServDesp_outgo[3]:=instance.ServDesps[2];
	  	instance.QRess[0].isactive:=false;
	  	instance.QRess[0].Contains_ServDesp_outgo:=null;
	  	instance.QRess[0].ResultOf_ServQ_outgo:=null;
	  	instance.QRess[0].SentVia_Con_outgo:=null;
	  	instance.Ports[4].Requires_QRes_outgo:=null;
	  	instance.ServQs[0].isactive:=false;
	  	instance.ServQs[0].SentVia_Con_outgo:=null;
	  	instance.Ports[4].Sends_ServQ_outgo:=null;
	  	instance.ServDesps[2].Satify_ServQ_outgo:=null;
	  	instance.Ports[4].Sends_QRes_outgo:=null;
        	instance.Ports[4].Sends_ServQ_outgo:=null;
        	instance.Ports[4].Sends_ServPub_outgo:=null;
        	instance.Ports[4].Sends_Resp_outgo:=null;
        	instance.Ports[4].Sends_Req_outgo:=null;
        	instance.Ports[4].Requires_QRes_outgo:=null;
        	instance.Ports[4].Requires_ServQ_outgo:=null;
        	instance.Ports[4].Requires_ServPub_outgo:=null;
        	instance.Ports[4].Requires_Resp_outgo:=null;
        	instance.Ports[4].Requires_Req_outgo:=null;
	  }
	goto loc1;
	
when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[6].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[6].Connects_Port_outgo[0]==instance.Ports[8]
	  &&  instance.Ports[8].Sends_ServQ_outgo!=null
	  &&  instance.Ports[8].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[8].Requires_QRes_outgo!=null
	  &&  instance.Ports[8].Requires_QRes_outgo==instance.QRess[0]
	  &&  instance.Servs[1].Owns_Port_outgo[3]!=null
	  &&  instance.Servs[1].Owns_Port_outgo[3]==instance.Ports[8]
	  &&  instance.QRess[0].Contains_ServDesp_outgo!=null
	  &&  instance.QRess[0].Contains_ServDesp_outgo==instance.ServDesps[0]
	  &&  instance.ServDesps[0].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[0].Satify_ServQ_outgo==instance.ServQs[0]
	  do{
	  	instance.Servs[1].Knows_ServDesp_outgo[1]:=instance.ServDesps[0];
	  	instance.QRess[0].isactive:=false;
	  	instance.QRess[0].Contains_ServDesp_outgo:=null;
	  	instance.QRess[0].ResultOf_ServQ_outgo:=null;
	  	instance.QRess[0].SentVia_Con_outgo:=null;
	  	instance.Ports[8].Requires_QRes_outgo:=null;
	  	instance.ServQs[0].isactive:=false;
	  	instance.ServQs[0].SentVia_Con_outgo:=null;
	  	instance.Ports[8].Sends_ServQ_outgo:=null;
	  	instance.ServDesps[0].Satify_ServQ_outgo:=null;
	  	instance.Ports[8].Sends_QRes_outgo:=null;
        	instance.Ports[8].Sends_ServQ_outgo:=null;
        	instance.Ports[8].Sends_ServPub_outgo:=null;
        	instance.Ports[8].Sends_Resp_outgo:=null;
        	instance.Ports[8].Sends_Req_outgo:=null;
        	instance.Ports[8].Requires_QRes_outgo:=null;
        	instance.Ports[8].Requires_ServQ_outgo:=null;
        	instance.Ports[8].Requires_ServPub_outgo:=null;
        	instance.Ports[8].Requires_Resp_outgo:=null;
        	instance.Ports[8].Requires_Req_outgo:=null;
	  }
	goto loc1;
	
when  instance.ServQs[0].isactive==true
	  &&  instance.QRess[0].isactive==true
	  &&  instance.ServQs[0].SentVia_Con_outgo!=null
	  &&  instance.ServQs[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.QRess[0].SentVia_Con_outgo!=null
	  &&  instance.QRess[0].SentVia_Con_outgo==instance.Cons[6]
	  &&  instance.QRess[0].ResultOf_ServQ_outgo!=null
	  &&  instance.QRess[0].ResultOf_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Cons[6].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[6].Connects_Port_outgo[0]==instance.Ports[8]
	  &&  instance.Ports[8].Sends_ServQ_outgo!=null
	  &&  instance.Ports[8].Sends_ServQ_outgo==instance.ServQs[0]
	  &&  instance.Ports[8].Requires_QRes_outgo!=null
	  &&  instance.Ports[8].Requires_QRes_outgo==instance.QRess[0]
	  &&  instance.Servs[1].Owns_Port_outgo[3]!=null
	  &&  instance.Servs[1].Owns_Port_outgo[3]==instance.Ports[8]
	  &&  instance.QRess[0].Contains_ServDesp_outgo!=null
	  &&  instance.QRess[0].Contains_ServDesp_outgo==instance.ServDesps[2]
	  &&  instance.ServDesps[2].Satify_ServQ_outgo!=null
	  &&  instance.ServDesps[2].Satify_ServQ_outgo==instance.ServQs[0]
	  do{
	  	instance.Servs[1].Knows_ServDesp_outgo[3]:=instance.ServDesps[2];
	  	instance.QRess[0].isactive:=false;
	  	instance.QRess[0].Contains_ServDesp_outgo:=null;
	  	instance.QRess[0].ResultOf_ServQ_outgo:=null;
	  	instance.QRess[0].SentVia_Con_outgo:=null;
	  	instance.Ports[8].Requires_QRes_outgo:=null;
	  	instance.ServQs[0].isactive:=false;
	  	instance.ServQs[0].SentVia_Con_outgo:=null;
	  	instance.Ports[8].Sends_ServQ_outgo:=null;
	  	instance.ServDesps[2].Satify_ServQ_outgo:=null;
	  	instance.Ports[8].Sends_QRes_outgo:=null;
        	instance.Ports[8].Sends_ServQ_outgo:=null;
        	instance.Ports[8].Sends_ServPub_outgo:=null;
        	instance.Ports[8].Sends_Resp_outgo:=null;
        	instance.Ports[8].Sends_Req_outgo:=null;
        	instance.Ports[8].Requires_QRes_outgo:=null;
        	instance.Ports[8].Requires_ServQ_outgo:=null;
        	instance.Ports[8].Requires_ServPub_outgo:=null;
        	instance.Ports[8].Requires_Resp_outgo:=null;
        	instance.Ports[8].Requires_Req_outgo:=null;
	  }
	goto loc1;

when  instance.Ports[0].IsInOf_PortT_outgo!=null
	  &&  instance.Ports[0].IsInOf_PortT_outgo==instance.PortTs[0]
	  &&  instance.PortTs[0].Provides_Inter_outgo!=null
	  &&  instance.PortTs[0].Provides_Inter_outgo==instance.Inters[0]
	  &&  instance.Inters[0].Defines_Oper_outgo!=null
	  &&  instance.Inters[0].Defines_Oper_outgo==instance.Opers[0]
	  &&  instance.Cons[0].isactive==true
	  &&  instance.Cons[0].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[0].Connects_Port_outgo[0]==instance.Ports[0]
	  &&  instance.Cons[0].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[0].Connects_Port_outgo[1]==instance.Ports[2]
	  &&  instance.Reqs[0].isactive==false
	  do{
	  	instance.Reqs[0].isactive:=true;
	  	instance.Reqs[0].Calls_Oper_outgo:=instance.Opers[0];
	  	instance.Reqs[0].SentVia_Con_outgo:=instance.Cons[0];
	  	instance.Ports[2].Sends_Req_outgo:=instance.Reqs[0];
	  }
	  goto loc1;
	 
when  instance.Ports[5].IsInOf_PortT_outgo!=null
	  &&  instance.Ports[5].IsInOf_PortT_outgo==instance.PortTs[3]
	  &&  instance.PortTs[3].Provides_Inter_outgo!=null
	  &&  instance.PortTs[3].Provides_Inter_outgo==instance.Inters[1]
	  &&  instance.Inters[1].Defines_Oper_outgo!=null
	  &&  instance.Inters[1].Defines_Oper_outgo==instance.Opers[1]
	  &&  instance.Cons[1].isactive==true
	  &&  instance.Cons[1].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[1].Connects_Port_outgo[0]==instance.Ports[3]
	  &&  instance.Cons[1].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[1].Connects_Port_outgo[1]==instance.Ports[5]
	  &&  instance.Reqs[1].isactive==false
	  do{
	  	instance.Reqs[1].isactive:=true;
	  	instance.Reqs[1].Calls_Oper_outgo:=instance.Opers[1];
	  	instance.Reqs[1].SentVia_Con_outgo:=instance.Cons[1];
	  	instance.Ports[3].Sends_Req_outgo:=instance.Reqs[1];
	  }
	  goto loc1;
	  
when  instance.Ports[9].IsInOf_PortT_outgo!=null
	  &&  instance.Ports[9].IsInOf_PortT_outgo==instance.PortTs[5]
	  &&  instance.PortTs[5].Provides_Inter_outgo!=null
	  &&  instance.PortTs[5].Provides_Inter_outgo==instance.Inters[2]
	  &&  instance.Inters[2].Defines_Oper_outgo!=null
	  &&  instance.Inters[2].Defines_Oper_outgo==instance.Opers[2]
	  &&  instance.Cons[4].isactive==true
	  &&  instance.Cons[4].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[4].Connects_Port_outgo[0]==instance.Ports[6]
	  &&  instance.Cons[4].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[4].Connects_Port_outgo[1]==instance.Ports[9]
	  &&  instance.Reqs[2].isactive==false
	  do{
	  	instance.Reqs[2].isactive:=true;
	  	instance.Reqs[2].Calls_Oper_outgo:=instance.Opers[2];
	  	instance.Reqs[2].SentVia_Con_outgo:=instance.Cons[4];
	  	instance.Ports[6].Sends_Req_outgo:=instance.Reqs[2];
	  }
	  goto loc1;

when  instance.Ports[0].IsInOf_PortT_outgo!=null
	  &&  instance.Ports[0].IsInOf_PortT_outgo==instance.PortTs[0]
	  &&  instance.PortTs[0].Provides_Inter_outgo!=null
	  &&  instance.PortTs[0].Provides_Inter_outgo==instance.Inters[0]
	  &&  instance.Inters[0].Defines_Oper_outgo!=null
	  &&  instance.Inters[0].Defines_Oper_outgo==instance.Opers[0]
	  &&  instance.Cons[0].isactive==true
	  &&  instance.Cons[0].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[0].Connects_Port_outgo[0]==instance.Ports[0]
	  &&  instance.Cons[0].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[0].Connects_Port_outgo[1]==instance.Ports[2]
	  &&  instance.Reqs[0].isactive==true
	  &&  instance.Reqs[0].SentVia_Con_outgo!=null
	  &&  instance.Reqs[0].SentVia_Con_outgo==instance.Cons[0]
	  &&  instance.Reqs[0].Calls_Oper_outgo!=null
	  &&  instance.Reqs[0].Calls_Oper_outgo==instance.Opers[0]
	  &&  instance.Ports[2].Sends_Req_outgo!=null
	  &&  instance.Ports[2].Sends_Req_outgo==instance.Reqs[0]
	  &&  instance.Ports[0].Requires_Req_outgo==null
	  do{
	  	instance.Ports[0].Requires_Req_outgo:=instance.Reqs[0];
	  }
	  goto loc1;
when  instance.Ports[5].IsInOf_PortT_outgo!=null
	  &&  instance.Ports[5].IsInOf_PortT_outgo==instance.PortTs[3]
	  &&  instance.PortTs[3].Provides_Inter_outgo!=null
	  &&  instance.PortTs[3].Provides_Inter_outgo==instance.Inters[1]
	  &&  instance.Inters[1].Defines_Oper_outgo!=null
	  &&  instance.Inters[1].Defines_Oper_outgo==instance.Opers[1]
	  &&  instance.Cons[1].isactive==true
	  &&  instance.Cons[1].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[1].Connects_Port_outgo[0]==instance.Ports[3]
	  &&  instance.Cons[1].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[1].Connects_Port_outgo[1]==instance.Ports[5]
	  &&  instance.Reqs[1].isactive==true
	  &&  instance.Reqs[1].SentVia_Con_outgo!=null
	  &&  instance.Reqs[1].SentVia_Con_outgo==instance.Cons[1]
	  &&  instance.Reqs[1].Calls_Oper_outgo!=null
	  &&  instance.Reqs[1].Calls_Oper_outgo==instance.Opers[1]
	  &&  instance.Ports[3].Sends_Req_outgo!=null
	  &&  instance.Ports[3].Sends_Req_outgo==instance.Reqs[1]
	  &&  instance.Ports[5].Requires_Req_outgo==null
	  do{
	  	instance.Ports[5].Requires_Req_outgo:=instance.Reqs[1];
	  }
	  goto loc1;
when  instance.Ports[9].IsInOf_PortT_outgo!=null
	  &&  instance.Ports[9].IsInOf_PortT_outgo==instance.PortTs[5]
	  &&  instance.PortTs[5].Provides_Inter_outgo!=null
	  &&  instance.PortTs[5].Provides_Inter_outgo==instance.Inters[2]
	  &&  instance.Inters[2].Defines_Oper_outgo!=null
	  &&  instance.Inters[2].Defines_Oper_outgo==instance.Opers[2]
	  &&  instance.Cons[4].isactive==true
	  &&  instance.Cons[4].Connects_Port_outgo[0]!=null
	  &&  instance.Cons[4].Connects_Port_outgo[0]==instance.Ports[6]
	  &&  instance.Cons[4].Connects_Port_outgo[1]!=null
	  &&  instance.Cons[4].Connects_Port_outgo[1]==instance.Ports[9]
	  &&  instance.Reqs[2].isactive==true
	  &&  instance.Reqs[2].SentVia_Con_outgo!=null
	  &&  instance.Reqs[2].SentVia_Con_outgo==instance.Cons[4]
	  &&  instance.Reqs[2].Calls_Oper_outgo!=null
	  &&  instance.Reqs[2].Calls_Oper_outgo==instance.Opers[2]
	  &&  instance.Ports[6].Sends_Req_outgo!=null
	  &&  instance.Ports[6].Sends_Req_outgo==instance.Reqs[2]
	  &&  instance.Ports[9].Requires_Req_outgo==null
	  do{
	  	instance.Ports[9].Requires_Req_outgo:=instance.Reqs[2];
	  }
	  goto loc1;

when instance.Resps[0].isactive==false
	 &&  instance.Reqs[0].isactive==true
	 &&  instance.Ports[0].Requires_Req_outgo!=null
	 &&  instance.Ports[0].Requires_Req_outgo==instance.Reqs[0]
	 &&  instance.Ports[0].Sends_Resp_outgo==null
	 &&  instance.Cons[0].Connects_Port_outgo[0]!=null
	 &&  instance.Cons[0].Connects_Port_outgo[0]==instance.Ports[0]
	 &&  instance.Reqs[0].SentVia_Con_outgo!=null
	 &&  instance.Reqs[0].SentVia_Con_outgo==instance.Cons[0]
	 do{
	 	instance.Resps[0].isactive:=true;
	 	instance.Ports[0].Sends_Resp_outgo:=instance.Resps[0];
	 	instance.Resps[0].SentVia_Con_outgo:=instance.Cons[0];
	 	instance.Resps[0].RespTo_Req_outgo:=instance.Reqs[0];
	 }
	 goto loc1;
	 
when instance.Resps[1].isactive==false
	 &&  instance.Reqs[1].isactive==true
	 &&  instance.Ports[5].Requires_Req_outgo!=null
	 &&  instance.Ports[5].Requires_Req_outgo==instance.Reqs[1]
	 &&  instance.Ports[5].Sends_Resp_outgo==null
	 &&  instance.Cons[1].Connects_Port_outgo[1]!=null
	 &&  instance.Cons[1].Connects_Port_outgo[1]==instance.Ports[5]
	 &&  instance.Reqs[1].SentVia_Con_outgo!=null
	 &&  instance.Reqs[1].SentVia_Con_outgo==instance.Cons[1]
	 do{
	 	instance.Resps[1].isactive:=true;
	 	instance.Ports[5].Sends_Resp_outgo:=instance.Resps[1];
	 	instance.Resps[1].SentVia_Con_outgo:=instance.Cons[1];
	 	instance.Resps[1].RespTo_Req_outgo:=instance.Reqs[1];
	 }
	 goto loc1; 
	 
when instance.Resps[2].isactive==false
	 &&  instance.Reqs[2].isactive==true
	 &&  instance.Ports[9].Requires_Req_outgo!=null
	 &&  instance.Ports[9].Requires_Req_outgo==instance.Reqs[2]
	 &&  instance.Ports[9].Sends_Resp_outgo==null
	 &&  instance.Cons[4].Connects_Port_outgo[1]!=null
	 &&  instance.Cons[4].Connects_Port_outgo[1]==instance.Ports[9]
	 &&  instance.Reqs[2].SentVia_Con_outgo!=null
	 &&  instance.Reqs[2].SentVia_Con_outgo==instance.Cons[4]
	 do{
	 	instance.Resps[2].isactive:=true;
	 	instance.Ports[9].Sends_Resp_outgo:=instance.Resps[2];
	 	instance.Resps[2].SentVia_Con_outgo:=instance.Cons[4];
	 	instance.Resps[2].RespTo_Req_outgo:=instance.Reqs[2];
	 }
	 goto loc1;


when instance.Resps[0].isactive==true
	 &&  instance.Reqs[0].isactive==true
	 &&  instance.Ports[2].Sends_Req_outgo!=null
	 &&  instance.Ports[2].Sends_Req_outgo==instance.Reqs[0]
	 &&  instance.Ports[2].Requires_Resp_outgo==null
	 &&  instance.Cons[0].Connects_Port_outgo[1]!=null
	 &&  instance.Cons[0].Connects_Port_outgo[1]==instance.Ports[2]
	 &&  instance.Reqs[0].SentVia_Con_outgo!=null
	 &&  instance.Reqs[0].SentVia_Con_outgo==instance.Cons[0]
	 &&  instance.Resps[0].SentVia_Con_outgo!=null
	 &&  instance.Resps[0].SentVia_Con_outgo==instance.Cons[0]
	 &&  instance.Resps[0].RespTo_Req_outgo!=null
	 &&  instance.Resps[0].RespTo_Req_outgo==instance.Reqs[0]
	 do{
	 	instance.Ports[2].Requires_Resp_outgo:=instance.Resps[0];
	 }
	 goto loc1;
when instance.Resps[1].isactive==true
	 &&  instance.Reqs[1].isactive==true
	 &&  instance.Ports[3].Sends_Req_outgo!=null
	 &&  instance.Ports[3].Sends_Req_outgo==instance.Reqs[1]
	 &&  instance.Ports[3].Requires_Resp_outgo==null
	 &&  instance.Cons[1].Connects_Port_outgo[0]!=null
	 &&  instance.Cons[1].Connects_Port_outgo[0]==instance.Ports[3]
	 &&  instance.Reqs[1].SentVia_Con_outgo!=null
	 &&  instance.Reqs[1].SentVia_Con_outgo==instance.Cons[1]
	 &&  instance.Resps[1].SentVia_Con_outgo!=null
	 &&  instance.Resps[1].SentVia_Con_outgo==instance.Cons[1]
	 &&  instance.Resps[1].RespTo_Req_outgo!=null
	 &&  instance.Resps[1].RespTo_Req_outgo==instance.Reqs[1]
	 do{
	 	instance.Ports[3].Requires_Resp_outgo:=instance.Resps[1];
	 }
	 goto loc1;

when instance.Resps[2].isactive==true
	 &&  instance.Reqs[2].isactive==true
	 &&  instance.Ports[6].Sends_Req_outgo!=null
	 &&  instance.Ports[6].Sends_Req_outgo==instance.Reqs[2]
	 &&  instance.Ports[6].Requires_Resp_outgo==null
	 &&  instance.Cons[4].Connects_Port_outgo[0]!=null
	 &&  instance.Cons[4].Connects_Port_outgo[0]==instance.Ports[6]
	 &&  instance.Reqs[2].SentVia_Con_outgo!=null
	 &&  instance.Reqs[2].SentVia_Con_outgo==instance.Cons[4]
	 &&  instance.Resps[2].SentVia_Con_outgo!=null
	 &&  instance.Resps[2].SentVia_Con_outgo==instance.Cons[4]
	 &&  instance.Resps[2].RespTo_Req_outgo!=null
	 &&  instance.Resps[2].RespTo_Req_outgo==instance.Reqs[2]
	 do{
	 	instance.Ports[6].Requires_Resp_outgo:=instance.Resps[2];
	 }
	 goto loc1;		

when   instance.Resps[0].isactive==true
	   &&  instance.Reqs[0].isactive==true	
	   &&  instance.Cons[0].Connects_Port_outgo[0]!=null
	   &&  instance.Cons[0].Connects_Port_outgo[0]==instance.Ports[0]
	   &&  instance.Cons[0].Connects_Port_outgo[1]!=null
	   &&  instance.Cons[0].Connects_Port_outgo[1]==instance.Ports[2]
	   &&  instance.Ports[2].Requires_Resp_outgo!=null
	   &&  instance.Ports[2].Requires_Resp_outgo==instance.Resps[0]
	   &&  instance.Ports[2].Sends_Req_outgo!=null
	   &&  instance.Ports[2].Sends_Req_outgo==instance.Reqs[0]
	   &&  instance.Ports[0].Requires_Req_outgo!=null
	   &&  instance.Ports[0].Requires_Req_outgo==instance.Reqs[0]
	   &&  instance.Ports[0].Sends_Resp_outgo!=null
	   &&  instance.Ports[0].Sends_Resp_outgo==instance.Resps[0]
	   &&  instance.Resps[0].RespTo_Req_outgo!=null
	   &&  instance.Resps[0].RespTo_Req_outgo==instance.Reqs[0]
	   &&  instance.Reqs[0].Calls_Oper_outgo!=null
	   &&  instance.Reqs[0].Calls_Oper_outgo==instance.Opers[0]
	   do{
     	   	 instance.Resps[0].isactive:=false;
	       instance.Reqs[0].isactive:=false;
	       instance.Ports[2].Requires_Resp_outgo:=null;
	       instance.Ports[2].Sends_Req_outgo:=null;
	       instance.Ports[0].Requires_Req_outgo:=null;
	       instance.Ports[0].Sends_Resp_outgo:=null;
	       instance.Resps[0].RespTo_Req_outgo:=null;
             instance.Resps[0].SentVia_Con_outgo:=null;
             instance.Reqs[0].SentVia_Con_outgo:=null;
             instance.Reqs[0].Calls_Oper_outgo:=null;
             instance.Ports[0].Sends_QRes_outgo:=null;
        	 instance.Ports[0].Sends_ServQ_outgo:=null;
        	 instance.Ports[0].Sends_ServPub_outgo:=null;
        	 instance.Ports[0].Sends_Resp_outgo:=null;
        	 instance.Ports[0].Sends_Req_outgo:=null;
        	 instance.Ports[0].Requires_QRes_outgo:=null;
        	 instance.Ports[0].Requires_ServQ_outgo:=null;
        	 instance.Ports[0].Requires_ServPub_outgo:=null;
        	 instance.Ports[0].Requires_Resp_outgo:=null;
        	 instance.Ports[0].Requires_Req_outgo:=null;
        	 instance.Ports[2].Sends_QRes_outgo:=null;
        	 instance.Ports[2].Sends_ServQ_outgo:=null;
        	 instance.Ports[2].Sends_ServPub_outgo:=null;
        	 instance.Ports[2].Sends_Resp_outgo:=null;
        	 instance.Ports[2].Sends_Req_outgo:=null;
        	 instance.Ports[2].Requires_QRes_outgo:=null;
        	 instance.Ports[2].Requires_ServQ_outgo:=null;
        	 instance.Ports[2].Requires_ServPub_outgo:=null;
        	 instance.Ports[2].Requires_Resp_outgo:=null;
        	 instance.Ports[2].Requires_Req_outgo:=null;
	         
	   }
	   goto loc1;
	   
when   instance.Resps[1].isactive==true
	   &&  instance.Reqs[1].isactive==true	
	   &&  instance.Cons[1].Connects_Port_outgo[0]!=null
	   &&  instance.Cons[1].Connects_Port_outgo[0]==instance.Ports[3]
	   &&  instance.Cons[1].Connects_Port_outgo[1]!=null
	   &&  instance.Cons[1].Connects_Port_outgo[1]==instance.Ports[5]
	   &&  instance.Ports[3].Requires_Resp_outgo!=null
	   &&  instance.Ports[3].Requires_Resp_outgo==instance.Resps[1]
	   &&  instance.Ports[3].Sends_Req_outgo!=null
	   &&  instance.Ports[3].Sends_Req_outgo==instance.Reqs[1]
	   &&  instance.Ports[5].Requires_Req_outgo!=null
	   &&  instance.Ports[5].Requires_Req_outgo==instance.Reqs[1]
	   &&  instance.Ports[5].Sends_Resp_outgo!=null
	   &&  instance.Ports[5].Sends_Resp_outgo==instance.Resps[1]
	   &&  instance.Resps[1].RespTo_Req_outgo!=null
	   &&  instance.Resps[1].RespTo_Req_outgo==instance.Reqs[1]
	   &&  instance.Reqs[1].Calls_Oper_outgo!=null
	   &&  instance.Reqs[1].Calls_Oper_outgo==instance.Opers[1]
	   do{
     	   	 instance.Resps[1].isactive:=false;
	       instance.Reqs[1].isactive:=false;
	       instance.Ports[3].Requires_Resp_outgo:=null;
	       instance.Ports[3].Sends_Req_outgo:=null;
	       instance.Ports[5].Requires_Req_outgo:=null;
	       instance.Ports[5].Sends_Resp_outgo:=null;
	       instance.Resps[1].RespTo_Req_outgo:=null;
             instance.Resps[1].SentVia_Con_outgo:=null;
             instance.Reqs[1].SentVia_Con_outgo:=null;
             instance.Reqs[1].Calls_Oper_outgo:=null;
             instance.Ports[3].Sends_QRes_outgo:=null;
        	 instance.Ports[3].Sends_ServQ_outgo:=null;
        	 instance.Ports[3].Sends_ServPub_outgo:=null;
        	 instance.Ports[3].Sends_Resp_outgo:=null;
        	 instance.Ports[3].Sends_Req_outgo:=null;
        	 instance.Ports[3].Requires_QRes_outgo:=null;
        	 instance.Ports[3].Requires_ServQ_outgo:=null;
        	 instance.Ports[3].Requires_ServPub_outgo:=null;
        	 instance.Ports[3].Requires_Resp_outgo:=null;
        	 instance.Ports[3].Requires_Req_outgo:=null;
        	 instance.Ports[5].Sends_QRes_outgo:=null;
        	 instance.Ports[5].Sends_ServQ_outgo:=null;
        	 instance.Ports[5].Sends_ServPub_outgo:=null;
        	 instance.Ports[5].Sends_Resp_outgo:=null;
        	 instance.Ports[5].Sends_Req_outgo:=null;
        	 instance.Ports[5].Requires_QRes_outgo:=null;
        	 instance.Ports[5].Requires_ServQ_outgo:=null;
        	 instance.Ports[5].Requires_ServPub_outgo:=null;
        	 instance.Ports[5].Requires_Resp_outgo:=null;
        	 instance.Ports[5].Requires_Req_outgo:=null;
	         
	   }
	   goto loc1;
	  
when   instance.Resps[2].isactive==true
	   &&  instance.Reqs[2].isactive==true	
	   &&  instance.Cons[4].Connects_Port_outgo[0]!=null
	   &&  instance.Cons[4].Connects_Port_outgo[0]==instance.Ports[6]
	   &&  instance.Cons[4].Connects_Port_outgo[1]!=null
	   &&  instance.Cons[4].Connects_Port_outgo[1]==instance.Ports[9]
	   &&  instance.Ports[6].Requires_Resp_outgo!=null
	   &&  instance.Ports[6].Requires_Resp_outgo==instance.Resps[2]
	   &&  instance.Ports[6].Sends_Req_outgo!=null
	   &&  instance.Ports[6].Sends_Req_outgo==instance.Reqs[2]
	   &&  instance.Ports[9].Requires_Req_outgo!=null
	   &&  instance.Ports[9].Requires_Req_outgo==instance.Reqs[2]
	   &&  instance.Ports[9].Sends_Resp_outgo!=null
	   &&  instance.Ports[9].Sends_Resp_outgo==instance.Resps[2]
	   &&  instance.Resps[2].RespTo_Req_outgo!=null
	   &&  instance.Resps[2].RespTo_Req_outgo==instance.Reqs[2]
	   &&  instance.Reqs[2].Calls_Oper_outgo!=null
	   &&  instance.Reqs[2].Calls_Oper_outgo==instance.Opers[2]
	   do{
     	   	 instance.Resps[2].isactive:=false;
	       instance.Reqs[2].isactive:=false;
	       instance.Ports[6].Requires_Resp_outgo:=null;
	       instance.Ports[6].Sends_Req_outgo:=null;
	       instance.Ports[9].Requires_Req_outgo:=null;
	       instance.Ports[9].Sends_Resp_outgo:=null;
	       instance.Resps[2].RespTo_Req_outgo:=null;
             instance.Resps[2].SentVia_Con_outgo:=null;
             instance.Reqs[2].SentVia_Con_outgo:=null;
             instance.Reqs[2].Calls_Oper_outgo:=null;
             instance.Ports[6].Sends_QRes_outgo:=null;
        	 instance.Ports[6].Sends_ServQ_outgo:=null;
        	 instance.Ports[6].Sends_ServPub_outgo:=null;
        	 instance.Ports[6].Sends_Resp_outgo:=null;
        	 instance.Ports[6].Sends_Req_outgo:=null;
        	 instance.Ports[6].Requires_QRes_outgo:=null;
        	 instance.Ports[6].Requires_ServQ_outgo:=null;
        	 instance.Ports[6].Requires_ServPub_outgo:=null;
        	 instance.Ports[6].Requires_Resp_outgo:=null;
        	 instance.Ports[6].Requires_Req_outgo:=null;
        	 instance.Ports[9].Sends_QRes_outgo:=null;
        	 instance.Ports[9].Sends_ServQ_outgo:=null;
       	 instance.Ports[9].Sends_ServPub_outgo:=null;
        	 instance.Ports[9].Sends_Resp_outgo:=null;
        	 instance.Ports[9].Sends_Req_outgo:=null;
        	 instance.Ports[9].Requires_QRes_outgo:=null;
        	 instance.Ports[9].Requires_ServQ_outgo:=null;
        	 instance.Ports[9].Requires_ServPub_outgo:=null;
        	 instance.Ports[9].Requires_Resp_outgo:=null;
        	 instance.Ports[9].Requires_Req_outgo:=null;
	         
	   }
	   goto loc1;
	   
when   instance.Resps[0].isactive==false 
	   &&  instance.Reqs[0].isactive==true	
	   &&  instance.Cons[0].Connects_Port_outgo[0]!=null
	   &&  instance.Cons[0].Connects_Port_outgo[0]==instance.Ports[0]
	   &&  instance.Cons[0].Connects_Port_outgo[1]!=null
	   &&  instance.Cons[0].Connects_Port_outgo[1]==instance.Ports[2]
	   &&  instance.Ports[2].Sends_Req_outgo!=null
	   &&  instance.Ports[2].Sends_Req_outgo==instance.Reqs[0]
	   &&  instance.Ports[0].Requires_Req_outgo!=null
	   &&  instance.Ports[0].Requires_Req_outgo==instance.Reqs[0]
	   &&  instance.Reqs[0].Calls_Oper_outgo!=null
	   &&  instance.Reqs[0].Calls_Oper_outgo==instance.Opers[0]
	   do{
     	   	 instance.Reqs[0].isactive:=false;
	       instance.Ports[2].Requires_Resp_outgo:=null;
	       instance.Ports[2].Sends_Req_outgo:=null;
	       instance.Ports[0].Requires_Req_outgo:=null;
	       instance.Ports[0].Sends_Resp_outgo:=null;
	       instance.Reqs[0].SentVia_Con_outgo:=null;
             instance.Reqs[0].Calls_Oper_outgo:=null;
             instance.Ports[0].Sends_QRes_outgo:=null;
        	 instance.Ports[0].Sends_ServQ_outgo:=null;
        	 instance.Ports[0].Sends_ServPub_outgo:=null;
        	 instance.Ports[0].Sends_Resp_outgo:=null;
        	 instance.Ports[0].Sends_Req_outgo:=null;
        	 instance.Ports[0].Requires_QRes_outgo:=null;
        	 instance.Ports[0].Requires_ServQ_outgo:=null;
        	 instance.Ports[0].Requires_ServPub_outgo:=null;
        	 instance.Ports[0].Requires_Resp_outgo:=null;
        	 instance.Ports[0].Requires_Req_outgo:=null;
        	 instance.Ports[2].Sends_QRes_outgo:=null;
        	 instance.Ports[2].Sends_ServQ_outgo:=null;
       	 instance.Ports[2].Sends_ServPub_outgo:=null;
        	 instance.Ports[2].Sends_Resp_outgo:=null;
        	 instance.Ports[2].Sends_Req_outgo:=null;
        	 instance.Ports[2].Requires_QRes_outgo:=null;
        	 instance.Ports[2].Requires_ServQ_outgo:=null;
        	 instance.Ports[2].Requires_ServPub_outgo:=null;
        	 instance.Ports[2].Requires_Resp_outgo:=null;
        	 instance.Ports[2].Requires_Req_outgo:=null;
                              
	   }
	   goto loc1;
	   
when   instance.Resps[1].isactive==false 
	   &&  instance.Reqs[1].isactive==true	
	   &&  instance.Cons[1].Connects_Port_outgo[0]!=null
	   &&  instance.Cons[1].Connects_Port_outgo[0]==instance.Ports[3]
	   &&  instance.Cons[1].Connects_Port_outgo[1]!=null
	   &&  instance.Cons[1].Connects_Port_outgo[1]==instance.Ports[5]
	   &&  instance.Ports[3].Sends_Req_outgo!=null
	   &&  instance.Ports[3].Sends_Req_outgo==instance.Reqs[1]
	   &&  instance.Ports[5].Requires_Req_outgo!=null
	   &&  instance.Ports[5].Requires_Req_outgo==instance.Reqs[1]
	   &&  instance.Reqs[1].Calls_Oper_outgo!=null
	   &&  instance.Reqs[1].Calls_Oper_outgo==instance.Opers[1]
	   do{
     	   	 instance.Reqs[1].isactive:=false;
	       instance.Ports[3].Requires_Resp_outgo:=null;
	       instance.Ports[3].Sends_Req_outgo:=null;
	       instance.Ports[5].Requires_Req_outgo:=null;
	       instance.Ports[5].Sends_Resp_outgo:=null;
	       instance.Reqs[1].SentVia_Con_outgo:=null;
             instance.Reqs[1].Calls_Oper_outgo:=null;
             instance.Ports[3].Sends_QRes_outgo:=null;
        	 instance.Ports[3].Sends_ServQ_outgo:=null;
        	 instance.Ports[3].Sends_ServPub_outgo:=null;
        	 instance.Ports[3].Sends_Resp_outgo:=null;
        	 instance.Ports[3].Sends_Req_outgo:=null;
        	 instance.Ports[3].Requires_QRes_outgo:=null;
        	 instance.Ports[3].Requires_ServQ_outgo:=null;
        	 instance.Ports[3].Requires_ServPub_outgo:=null;
        	 instance.Ports[3].Requires_Resp_outgo:=null;
        	 instance.Ports[3].Requires_Req_outgo:=null;
        	 instance.Ports[5].Sends_QRes_outgo:=null;
        	 instance.Ports[5].Sends_ServQ_outgo:=null;
       	 instance.Ports[5].Sends_ServPub_outgo:=null;
        	 instance.Ports[5].Sends_Resp_outgo:=null;
        	 instance.Ports[5].Sends_Req_outgo:=null;
        	 instance.Ports[5].Requires_QRes_outgo:=null;
        	 instance.Ports[5].Requires_ServQ_outgo:=null;
        	 instance.Ports[5].Requires_ServPub_outgo:=null;
        	 instance.Ports[5].Requires_Resp_outgo:=null;
        	 instance.Ports[5].Requires_Req_outgo:=null;
	         
	   }
	   goto loc1;
	   
when   instance.Resps[2].isactive==false 
	   &&  instance.Reqs[2].isactive==true	
	   &&  instance.Cons[4].Connects_Port_outgo[0]!=null
	   &&  instance.Cons[4].Connects_Port_outgo[0]==instance.Ports[6]
	   &&  instance.Cons[4].Connects_Port_outgo[1]!=null
	   &&  instance.Cons[4].Connects_Port_outgo[1]==instance.Ports[9]
	   &&  instance.Ports[6].Sends_Req_outgo!=null
	   &&  instance.Ports[6].Sends_Req_outgo==instance.Reqs[2]
	   &&  instance.Ports[9].Requires_Req_outgo!=null
	   &&  instance.Ports[9].Requires_Req_outgo==instance.Reqs[2]
	   &&  instance.Reqs[2].Calls_Oper_outgo!=null
	   &&  instance.Reqs[2].Calls_Oper_outgo==instance.Opers[2]
	   do{
     	   	 instance.Reqs[2].isactive:=false;
	       instance.Ports[6].Requires_Resp_outgo:=null;
	       instance.Ports[6].Sends_Req_outgo:=null;
	       instance.Ports[9].Requires_Req_outgo:=null;
	       instance.Ports[9].Sends_Resp_outgo:=null;
	       instance.Reqs[2].SentVia_Con_outgo:=null;
             instance.Reqs[2].Calls_Oper_outgo:=null;
             instance.Ports[6].Sends_QRes_outgo:=null;
        	 instance.Ports[6].Sends_ServQ_outgo:=null;
        	 instance.Ports[6].Sends_ServPub_outgo:=null;
        	 instance.Ports[6].Sends_Resp_outgo:=null;
        	 instance.Ports[6].Sends_Req_outgo:=null;
        	 instance.Ports[6].Requires_QRes_outgo:=null;
        	 instance.Ports[6].Requires_ServQ_outgo:=null;
        	 instance.Ports[6].Requires_ServPub_outgo:=null;
        	 instance.Ports[6].Requires_Resp_outgo:=null;
        	 instance.Ports[6].Requires_Req_outgo:=null;
        	 instance.Ports[9].Sends_QRes_outgo:=null;
        	 instance.Ports[9].Sends_ServQ_outgo:=null;
       	 instance.Ports[9].Sends_ServPub_outgo:=null;
        	 instance.Ports[9].Sends_Resp_outgo:=null;
        	 instance.Ports[9].Sends_Req_outgo:=null;
        	 instance.Ports[9].Requires_QRes_outgo:=null;
        	 instance.Ports[9].Requires_ServQ_outgo:=null;
        	 instance.Ports[9].Requires_ServPub_outgo:=null;
        	 instance.Ports[9].Requires_Resp_outgo:=null;
        	instance.Ports[9].Requires_Req_outgo:=null;
	         
	   }
	   goto loc1;
	   

when  instance.Cons[0].isactive==true
	   && instance.Resps[0].isactive==false 
	   && instance.Reqs[0].isactive==false  
	   do{
	   	instance.Cons[0].isactive:=false;
	   	instance.Cons[0].Connects_Port_outgo[0]:=null;
	   	instance.Cons[0].Connects_Port_outgo[1]:=null;
	   	instance.Cons[0].IsInOf_ConT_outgo:=null;
	   	instance.Ports[0].used:=false;
	   	instance.Ports[2].used:=false;
	   	instance.Ports[0].Sends_QRes_outgo:=null;
        	instance.Ports[0].Sends_ServQ_outgo:=null;
        	instance.Ports[0].Sends_ServPub_outgo:=null;
        	instance.Ports[0].Sends_Resp_outgo:=null;
        	instance.Ports[0].Sends_Req_outgo:=null;
        	instance.Ports[0].Requires_QRes_outgo:=null;
        	instance.Ports[0].Requires_ServQ_outgo:=null;
        	instance.Ports[0].Requires_ServPub_outgo:=null;
        	instance.Ports[0].Requires_Resp_outgo:=null;
        	instance.Ports[0].Requires_Req_outgo:=null;
            instance.Ports[2].Sends_QRes_outgo:=null;
        	instance.Ports[2].Sends_ServQ_outgo:=null;
        	instance.Ports[2].Sends_ServPub_outgo:=null;
        	instance.Ports[2].Sends_Resp_outgo:=null;
        	instance.Ports[2].Sends_Req_outgo:=null;
        	instance.Ports[2].Requires_QRes_outgo:=null;
        	instance.Ports[2].Requires_ServQ_outgo:=null;
        	instance.Ports[2].Requires_ServPub_outgo:=null;
        	instance.Ports[2].Requires_Resp_outgo:=null;
        	instance.Ports[2].Requires_Req_outgo:=null;
	   }
	   goto loc1;
	   
when  instance.Cons[1].isactive==true
	  
	   && instance.Resps[1].isactive==false 
	   && instance.Reqs[1].isactive==false   
	   do{
	   	instance.Cons[1].isactive:=false;
	   	instance.Cons[1].Connects_Port_outgo[0]:=null;
	   	instance.Cons[1].Connects_Port_outgo[1]:=null;
	   	instance.Cons[1].IsInOf_ConT_outgo:=null;
	   	instance.Ports[3].used:=false;
	   	instance.Ports[5].used:=false;
	   	instance.Ports[3].Sends_QRes_outgo:=null;
        	instance.Ports[3].Sends_ServQ_outgo:=null;
        	instance.Ports[3].Sends_ServPub_outgo:=null;
        	instance.Ports[3].Sends_Resp_outgo:=null;
        	instance.Ports[3].Sends_Req_outgo:=null;
        	instance.Ports[3].Requires_QRes_outgo:=null;
        	instance.Ports[3].Requires_ServQ_outgo:=null;
        	instance.Ports[3].Requires_ServPub_outgo:=null;
        	instance.Ports[3].Requires_Resp_outgo:=null;
        	instance.Ports[3].Requires_Req_outgo:=null;
            instance.Ports[5].Sends_QRes_outgo:=null;
        	instance.Ports[5].Sends_ServQ_outgo:=null;
            instance.Ports[5].Sends_ServPub_outgo:=null;
        	instance.Ports[5].Sends_Resp_outgo:=null;
        	instance.Ports[5].Sends_Req_outgo:=null;
        	instance.Ports[5].Requires_QRes_outgo:=null;
        	instance.Ports[5].Requires_ServQ_outgo:=null;
        	instance.Ports[5].Requires_ServPub_outgo:=null;
        	instance.Ports[5].Requires_Resp_outgo:=null;
        	instance.Ports[5].Requires_Req_outgo:=null;
	   }
	   goto loc1;
	   
when  instance.Cons[2].isactive==true
	  &&  instance.QRess[0].isactive==false 
	  
	   && instance.ServQs[0].isactive==false 
	  
	  do{
	   	instance.Cons[2].isactive:=false;
	   	instance.Cons[2].Connects_Port_outgo[0]:=null;
	   	instance.Cons[2].Connects_Port_outgo[1]:=null;
	   	instance.Cons[2].IsInOf_ConT_outgo:=null;
	   	instance.Ports[4].used:=false;
	   	instance.Ports[12].used:=false;
	   	instance.Ports[4].Sends_QRes_outgo:=null;
        	instance.Ports[4].Sends_ServQ_outgo:=null;
        	instance.Ports[4].Sends_ServPub_outgo:=null;
        	instance.Ports[4].Sends_Resp_outgo:=null;
        	instance.Ports[4].Sends_Req_outgo:=null;
        	instance.Ports[4].Requires_QRes_outgo:=null;
        	instance.Ports[4].Requires_ServQ_outgo:=null;
        	instance.Ports[4].Requires_ServPub_outgo:=null;
        	instance.Ports[4].Requires_Resp_outgo:=null;
        	instance.Ports[4].Requires_Req_outgo:=null;
            instance.Ports[12].Sends_QRes_outgo:=null;
        	instance.Ports[12].Sends_ServQ_outgo:=null;
        	instance.Ports[12].Sends_ServPub_outgo:=null;
        	instance.Ports[12].Sends_Resp_outgo:=null;
        	instance.Ports[12].Sends_Req_outgo:=null;
        	instance.Ports[12].Requires_QRes_outgo:=null;
        	instance.Ports[12].Requires_ServQ_outgo:=null;
        	instance.Ports[12].Requires_ServPub_outgo:=null;
        	instance.Ports[12].Requires_Resp_outgo:=null;
        	instance.Ports[12].Requires_Req_outgo:=null;
	   }
	   goto loc1;
	   
when  instance.Cons[3].isactive==true
	  
	   && instance.ServPubs[0].isactive==false 
	    
	  do{
	   	instance.Cons[3].isactive:=false;
	   	instance.Cons[3].Connects_Port_outgo[0]:=null;
	   	instance.Cons[3].Connects_Port_outgo[1]:=null;
	   	instance.Cons[3].IsInOf_ConT_outgo:=null;
	   	instance.Ports[1].used:=false;
	   	instance.Ports[11].used:=false;
	   	instance.Ports[1].Sends_QRes_outgo:=null;
        	instance.Ports[1].Sends_ServQ_outgo:=null;
        	instance.Ports[1].Sends_ServPub_outgo:=null;
        	instance.Ports[1].Sends_Resp_outgo:=null;
        	instance.Ports[1].Sends_Req_outgo:=null;
        	instance.Ports[1].Requires_QRes_outgo:=null;
        	instance.Ports[1].Requires_ServQ_outgo:=null;
        	instance.Ports[1].Requires_ServPub_outgo:=null;
        	instance.Ports[1].Requires_Resp_outgo:=null;
        	instance.Ports[1].Requires_Req_outgo:=null;
            instance.Ports[11].Sends_QRes_outgo:=null;
        	instance.Ports[11].Sends_ServQ_outgo:=null;
        	instance.Ports[11].Sends_ServPub_outgo:=null;
        	instance.Ports[11].Sends_Resp_outgo:=null;
        	instance.Ports[11].Sends_Req_outgo:=null;
        	instance.Ports[11].Requires_QRes_outgo:=null;
        	instance.Ports[11].Requires_ServQ_outgo:=null;
        	instance.Ports[11].Requires_ServPub_outgo:=null;
        	instance.Ports[11].Requires_Resp_outgo:=null;
        	instance.Ports[11].Requires_Req_outgo:=null;
	   }
	   goto loc1;

when  instance.Cons[4].isactive==true
	  
	   && instance.Resps[2].isactive==false 
	  
	   && instance.Reqs[2].isactive==false 
	  
	   do{
	   	instance.Cons[4].isactive:=false;
	   	instance.Cons[4].Connects_Port_outgo[0]:=null;
	   	instance.Cons[4].Connects_Port_outgo[1]:=null;
	   	instance.Cons[4].IsInOf_ConT_outgo:=null;
	   	instance.Ports[6].used:=false;
	   	instance.Ports[9].used:=false;
	   	instance.Ports[6].Sends_QRes_outgo:=null;
        	instance.Ports[6].Sends_ServQ_outgo:=null;
        	instance.Ports[6].Sends_ServPub_outgo:=null;
        	instance.Ports[6].Sends_Resp_outgo:=null;
        	instance.Ports[6].Sends_Req_outgo:=null;
        	instance.Ports[6].Requires_QRes_outgo:=null;
        	instance.Ports[6].Requires_ServQ_outgo:=null;
        	instance.Ports[6].Requires_ServPub_outgo:=null;
        	instance.Ports[6].Requires_Resp_outgo:=null;
        	instance.Ports[6].Requires_Req_outgo:=null;
            instance.Ports[9].Sends_QRes_outgo:=null;
        	instance.Ports[9].Sends_ServQ_outgo:=null;
        	instance.Ports[9].Sends_ServPub_outgo:=null;
        	instance.Ports[9].Sends_Resp_outgo:=null;
        	instance.Ports[9].Sends_Req_outgo:=null;
        	instance.Ports[9].Requires_QRes_outgo:=null;
        	instance.Ports[9].Requires_ServQ_outgo:=null;
        	instance.Ports[9].Requires_ServPub_outgo:=null;
        	instance.Ports[9].Requires_Resp_outgo:=null;
        	instance.Ports[9].Requires_Req_outgo:=null;
	   }
	   goto loc1;
	  
when  instance.Cons[5].isactive==true
	  && instance.ServPubs[0].isactive==false 
	  do{
	   	instance.Cons[5].isactive:=false;
	   	instance.Cons[5].Connects_Port_outgo[0]:=null;
	   	instance.Cons[5].Connects_Port_outgo[1]:=null;
	   	instance.Cons[5].IsInOf_ConT_outgo:=null;
	   	instance.Ports[7].used:=false;
	   	instance.Ports[11].used:=false;
	   	instance.Ports[7].Sends_QRes_outgo:=null;
        	instance.Ports[7].Sends_ServQ_outgo:=null;
        	instance.Ports[7].Sends_ServPub_outgo:=null;
        	instance.Ports[7].Sends_Resp_outgo:=null;
        	instance.Ports[7].Sends_Req_outgo:=null;
        	instance.Ports[7].Requires_QRes_outgo:=null;
        	instance.Ports[7].Requires_ServQ_outgo:=null;
        	instance.Ports[7].Requires_ServPub_outgo:=null;
        	instance.Ports[7].Requires_Resp_outgo:=null;
        	instance.Ports[7].Requires_Req_outgo:=null;
            instance.Ports[11].Sends_QRes_outgo:=null;
        	instance.Ports[11].Sends_ServQ_outgo:=null;
        	instance.Ports[11].Sends_ServPub_outgo:=null;
        	instance.Ports[11].Sends_Resp_outgo:=null;
        	instance.Ports[11].Sends_Req_outgo:=null;
        	instance.Ports[11].Requires_QRes_outgo:=null;
        	instance.Ports[11].Requires_ServQ_outgo:=null;
        	instance.Ports[11].Requires_ServPub_outgo:=null;
        	instance.Ports[11].Requires_Resp_outgo:=null;
        	instance.Ports[11].Requires_Req_outgo:=null;
	   }
	   goto loc1;
	   
when  instance.Cons[6].isactive==true
	  &&  instance.QRess[0].isactive==false 
	  && instance.ServQs[0].isactive==false
	  do{
	   	instance.Cons[6].isactive:=false;
	   	instance.Cons[6].Connects_Port_outgo[0]:=null;
	   	instance.Cons[6].Connects_Port_outgo[1]:=null;
	   	instance.Cons[6].IsInOf_ConT_outgo:=null;
	   	instance.Ports[8].used:=false;
	   	instance.Ports[12].used:=false;
	   	instance.Ports[8].Sends_QRes_outgo:=null;
        	instance.Ports[8].Sends_ServQ_outgo:=null;
        	instance.Ports[8].Sends_ServPub_outgo:=null;
        	instance.Ports[8].Sends_Resp_outgo:=null;
        	instance.Ports[8].Sends_Req_outgo:=null;
        	instance.Ports[8].Requires_QRes_outgo:=null;
        	instance.Ports[8].Requires_ServQ_outgo:=null;
        	instance.Ports[8].Requires_ServPub_outgo:=null;
        	instance.Ports[8].Requires_Resp_outgo:=null;
        	instance.Ports[8].Requires_Req_outgo:=null;
            instance.Ports[12].Sends_QRes_outgo:=null;
        	instance.Ports[12].Sends_ServQ_outgo:=null;
        	instance.Ports[12].Sends_ServPub_outgo:=null;
        	instance.Ports[12].Sends_Resp_outgo:=null;
        	instance.Ports[12].Sends_Req_outgo:=null;
        	instance.Ports[12].Requires_QRes_outgo:=null;
        	instance.Ports[12].Requires_ServQ_outgo:=null;
        	instance.Ports[12].Requires_ServPub_outgo:=null;
        	instance.Ports[12].Requires_Resp_outgo:=null;
        	instance.Ports[12].Requires_Req_outgo:=null;
	   }
	   goto loc1;
	   

}
}

