path: root/Test/og/parallel6.bpl

procedure {:yields} {:stable} A();
procedure {:yields} C() { async call A(); }