path: root/Test/snapshots/Snapshots33.v1.bpl

procedure {:checksum "5"} P();

implementation {:id "P"} {:checksum "4"} P()
{
    call Q();
}

procedure {:checksum "3"} Q();