model BreakBranch

  record Rec

    Real x;

    function equalityConstraint

      input Rec r1;

      input Rec r2;

output Real x[0];

    algorithm 

      assert(r1.x > r2.x, "Test");

    end equalityConstraint;

  end Rec;



  connector Con

    Rec r;

  end Con;



  model Source

    Con c;

  equation 

    c.r.x = time;

    Connections.root(c.r);

  end Source;



  model A

    Con c1;

    Con c2;

  equation 

    Connections.branch(c1.r, c2.r);

  end A;



  model Ground

    Con c;

  end Ground;



  A a;

  Ground g;

  Source s;

equation 

  connect(s.c, a.c1);

  connect(a.c1, a.c2);

  connect(a.c2, g.c);

end BreakBranch;