>>> Procurement:

  > Delivery:
Goal BpmnFix.lonelyEventIntermediate is violated 1 times:
 VV> T(Company.FromPurchaseOrder-to-Delivery;)
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 1 times:
 VV> T(Company.uN240_ff;Company.uN240_ff.uN245_ff;Company.GW1;Company.GW2;)


  > Purchase Order:
Goal BpmnFix.lonelyEventIntermediate is violated 2 times:
 VV> T(Company.From Purchase Request-to-Purchase Order;)
 VV> T(Company.Delivery-to-Payment;)
Goal BpmnFix.startSendingMessage is violated 3 times:
 VV> T(Supplier.uN352_1f;uN371_1f;Company.Purchase invoice received;)
 VV> T(Supplier.uN332_1f;uN363_1f;Company.Delivery of goods;)
 VV> T(Supplier.uN342_1f;uN367_1f;Company.Supplier presented a question;)
Goal BpmnFix.endReceivingMessage is violated 1 times:
 VV> T(Company.Purchase invoice received;uN371_1f;Supplier.uN352_1f;)
Goal BpmnFix.endEventStartOfEdge is violated 1 times:
 VV> T(Company.uN270_1f;Company.Purchase invoice received;Company.Delivery-to-Payment;)
[info] Constraint Solved. Number of solutions: 0 #State space size: 0 Total Time: 3ms


  > Purchase Request:
  Goal BpmnFix.lonelyActivity is violated 1 times:
 VV> T(Department.Create purchase request;)
Goal BpmnFix.lonelyEventIntermediate is violated 1 times:
 VV> T(Approver.Purchase Order-to-Deliver;)
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 2 times:
 VV> T(Department.Goods in stock;Department.Goods in stock.uN181_bb;Department.uN128_bb;Department.Use goods from stock;)
 VV> T(Purchase Division.Known supplier;Purchase Division.Known supplier.uN295_bb;Purchase Division.uN242_bb;Purchase Division.uN250_bb;)
Goal BpmnFix.intermediateSendingMessage is violated 1 times:
 VV> T(Department.Specify and quantify demand;uN379_bb;Purchase Division.Check purchase request;)
[info] Constraint Solved. Number of solutions: 0 #State space size: 0 Total Time: 3ms

>>> Centralized Register:

  > Macro:
Goal BpmnFix.lonelyEventStart is violated 1 times:
 VV> T(Pool.Start;)
Goal BpmnFix.lonelyEventEnd is violated 1 times:
 VV> T(Pool.End;)
Goal BpmnFix.lonelyEventIntermediate is violated 4 times:
 VV> T(Pool.Instructing.Instructing;)
 VV> T(Pool.Deciding.Deciding;)
 VV> T(Pool.Contracting.Contracting;)
 VV> T(Pool.Soliciting.Soliciting;)
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 3 times:
 VV> T(Pool.uN699_59;Pool.uN699_59.uN704_59;Pool.ProceedwithDecision?;Pool.GW1;)
 VV> T(Pool.uN675_59;Pool.uN675_59.uN680_59;Pool.ProceedwithContract?;Pool.Contracting;)
 VV> T(Pool.uN731_59;Pool.uN731_59.uN736_59;Pool.ProceedwithInstruction?;Pool.GW2;)
Goal BpmnFix.endEventStartOfEdge is violated 1 times:
 VV> T(Pool.uN627_59;Pool.End;Pool.Soliciting;)
Goal BpmnFix.startEventEndOfEdge is violated 1 times:
 VV> T(Pool.uN723_59;Pool.GW2;Pool.Start;)

  > Soliciting:
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 4 times:
 VV> T(Pool.uN306_00;Pool.uN306_00.uN311_00;Pool.LRCorLRPCredit?;Pool.CheckRegisterValidityonS400;)
 VV> T(Pool.uN446_00;Pool.uN446_00.uN451_00;Pool.IsRiskValid?;Pool.RequestLRCCredit;)
 VV> T(Pool.LRC;Pool.LRC.uN353_00;Pool.Whatistheactivitytype?;Pool.CheckRiskValidity(SINC);)
 VV> T(Pool.uN422_00;Pool.uN422_00.uN427_00;Pool.IsRegisterValid?;Pool.GW2;)
[info] Constraint Solved. Number of solutions: 0 #State space size: 0 Total Time: 4ms

  > Instructing:
Goal BpmnFix.defaultGateAndNoControlledFlows is violated 1 times:
 VV> T(Pool.SuspendSolicitation.uN505_1b;Pool.SuspendSolicitation.uN505_1b.uN510_1b;Pool.SuspendSolicitation.Consolidate Results;Pool.SuspendSolicitation.Is there unsolved pendency?;)
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 10 times:
 VV> T(Pool.uN806_1b;Pool.uN806_1b.uN811_1b;Pool.SolicitationhasPendency?;Pool.GW2;)
 VV> T(Pool.SuspendSolicitation.uN513_1b;Pool.SuspendSolicitation.uN513_1b.uN518_1b;Pool.SuspendSolicitation.Is there unsolved pendency?;Pool.SuspendSolicitation.Register New Pendency;)
 VV> T(Pool.uN766_1b;Pool.uN766_1b.uN771_1b;Pool.WaitDocumentationfromExpressMail?;Pool.GW1;)
 VV> T(Pool.SuspendSolicitation.uN481_1b;Pool.SuspendSolicitation.uN481_1b.uN486_1b;Pool.SuspendSolicitation.Are there more pendencies?;Pool.SuspendSolicitation.uN337_1b;)
 VV> T(Pool.uN892_1b;Pool.uN892_1b.uN897_1b;Pool.ContinueSolicitation?;Pool.GW3;)
 VV> T(Pool.SuspendSolicitation.Missing document?;Pool.SuspendSolicitation.Missing document?.uN560_1b;Pool.SuspendSolicitation.Register New Pendency;Pool.SuspendSolicitation.Notify Branch;)
 VV> T(Pool.SuspendSolicitation.uN537_1b;Pool.SuspendSolicitation.uN537_1b.uN542_1b;Pool.SuspendSolicitation.Are there existing pendencies?;Pool.SuspendSolicitation.uN375_1b;)
 VV> T(Pool.SuspendSolicitation.uN433_1b;Pool.SuspendSolicitation.uN433_1b.uN438_1b;Pool.SuspendSolicitation.Are there pendencies pertaining to a branch?;Pool.SuspendSolicitation.Solve Pendency;)
 VV> T(Pool.Other;Pool.Other.uN849_1b;Pool.DecisionType?;Pool.InformProposalConclusion;)
 VV> T(Pool.SuspendSolicitation.Solve Pendency.uN280_1b;Pool.SuspendSolicitation.Solve Pendency.uN280_1b.uN285_1b;Pool.SuspendSolicitation.Solve Pendency.Pending for more than 3 days?;Pool.SuspendSolicitation.Solve Pendency.uN222_1b;)
Goal BpmnFix.conditionalPreceededByGateway is violated 2 times:
 VV> T(Pool.SuspendSolicitation.uN521_1b;Pool.SuspendSolicitation.uN521_1b.uN524_1b;Pool.SuspendSolicitation.Register New Pendency;Pool.SuspendSolicitation.uN375_1b;)
 VV> T(Pool.SuspendSolicitation.uN579_1b;Pool.SuspendSolicitation.uN579_1b.uN582_1b;Pool.SuspendSolicitation.Consolidate Results;Pool.SuspendSolicitation.uN375_1b;)
[info] Constraint Solved. Number of solutions: 0 #State space size: 0 Total Time: 4ms


  > Deciding:
Goal BpmnFix.defaultGateAndNoOtherEdge is violated 1 times:
 VV> T(Pool.uN232_53;Pool.uN232_53.uN237_53;Pool.Check Decision;Pool.ApprovedProposal;)
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 2 times:
 VV> T(Pool.uN208_53;Pool.uN208_53.uN213_53;Pool.IsthereCENOPanalysis?;Pool.GW1;)
 VV> T(Pool.uN264_53;Pool.uN264_53.uN269_53;Pool.ApprovedProposal;Pool.End;)
[info] Constraint Solved. Number of solutions: 0 #State space size: 0 Total Time: 3ms

  > Contracting:
Goal BpmnFix.defaultGatewayConstraint is violated 1 times:
 VV> T(Pool.ElaborateInstruction;)
Goal BpmnFix.defaultPathAndUncontrolledFlows is violated 8 times:
 VV> T(Pool.SuspendSolicitation.uN569_8e;Pool.SuspendSolicitation.uN569_8e.uN574_8e;Pool.SuspendSolicitation.Are there existing pendencies?;Pool.SuspendSolicitation.uN417_8e;)
 VV> T(Pool.SuspendSolicitation.uN465_8e;Pool.SuspendSolicitation.uN465_8e.uN470_8e;Pool.SuspendSolicitation.Are there pendencies pertaining to a branch?;Pool.SuspendSolicitation.Solve Pendency;)
 VV> T(Pool.SuspendSolicitation.Solve Pendency.uN322_8e;Pool.SuspendSolicitation.Solve Pendency.uN322_8e.uN327_8e;Pool.SuspendSolicitation.Solve Pendency.Pending for more than 3 days?;Pool.SuspendSolicitation.Solve Pendency.uN264_8e;)
 VV> T(Pool.uN760_8e;Pool.uN760_8e.uN765_8e;Pool.IsCommercialCredit;Pool.GW2;)
 VV> T(Pool.uN792_8e;Pool.uN792_8e.uN797_8e;Pool.ContinueInstruction;Pool.GW3;)
 VV> T(Pool.uN712_8e;Pool.uN712_8e.uN717_8e;Pool.RequesthasPendency;Pool.GW1;)
 VV> T(Pool.SuspendSolicitation.uN545_8e;Pool.SuspendSolicitation.uN545_8e.uN550_8e;Pool.SuspendSolicitation.Is there unsolved pendency?;Pool.SuspendSolicitation.Register New Pendency;)
 VV> T(Pool.SuspendSolicitation.uN513_8e;Pool.SuspendSolicitation.uN513_8e.uN518_8e;Pool.SuspendSolicitation.Are there more pendencies?;Pool.SuspendSolicitation.uN379_8e;)
[info] Constraint Solved. Number of solutions: 0 #State space size: 0 Total Time: 5ms