Implemented macro-local labels for Merlin