Add tests for procedural begin/fork end labels