Added preliminary support for procedural labels