Relaxes global naming of vars and fixes conflicts