path: root/Test/og/parallel7.bpl

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