procedure A();
procedure B();
procedure C() { call A() | B(); }