HasmCodegen: added a check for label redefinition