Use subsume
when checking for repeated varnames
#602
Merged
subsume
when checking for repeated varnames
#602