path: root/Test/og/parallel3.bpl

procedure {:entrypoint} main() 
{
    call A() | B();
}

procedure A() {}
procedure B() {}