VM: Remove extra variables
Disallow duplication of labels