package const_data
  const data int x = 3
  const data int y = x + 1

  port type Port_t()
  port type Port_tt(int x)

  connector type CoT(Port_t p1, Port_tt p2)
  data int ld
  export port Port_tt ep(ld)

  define p1 p2
  on p1 p2
     provided (x <= 1000)
     up { ld = y;}
     down { p2.x = y;}
     
  end

  atom type AT()
    data int md1
    export port Port_t p1()
    export port Port_tt p2(md1)

    place S1
    initial to S1 do { md1 = x;}
    on p1 from S1 to S1 do {md1 = x + 23;}
    priority toto p2 < p1 provided (x <= y)
  end


  compound type CT()
    component AT c1(),c2(),c3(),c4()

    connector CoT co1(c1.p1, c2.p2), co2(c3.p1, c4.p2)
    
    priority test co1:* < co2:* provided (y <= x)
  end
end
  