Fix a serious bug in procedure shadowing - i.e., it didn't work. Added a proper test case for it in procedure-label-shadowing.TAS